2. P1: Anita ahorra en nuevos soles o ahorra en dólares.
P2: Anita no ahorra en dólares.
C: Anita ahorra nuevos soles.
Proposiciones simples:
p: Anita ahorra en nuevos soles
q: Anita ahorra en dólares
(P1^P2) ⇒C
[(p v q) ˄ (~q)] ⇒ p

3. p q [(p v q) ˄ (~q)] ⇒ p
V V V
V F V
F V V
F F F
Primero: Desarrollamos (p v q), y obtenemos este resultado.

4. p q [(p v q) ˄ (~q)] ⇒ p
V V V F
V F V V
F V V F
F F F V
Segundo: Desarrollamos (~q), y nos da como resultado los valores opuestos de q.

5. p q [(p v q) ˄ (~q)] ⇒ p
V V V F F
V F V V V
F V V F F
F F F F V
Tercero: Desarrollamos el resultado obtenido de (p v q)
con el resultado de (~q); y vemos que hay un conector lógico de ^ (y), y como bien
sabemos solo dos verdaderos nos dan verdadero, resolviendo nos da como resultado la
ultima columna tipiada.

6. p q [(p v q) ˄ (~q)] ⇒ p
V V V F F V
V F V V V V
F V V F F F
F F F F V F
Cuarto: Para que el desarrollo sea mas ordenado vi conveniente copiar pones los valores
de p.

7. p q [(p v q) ˄ (~q)] ⇒ p
V V V F F V V
V F V V V V V
F V V F F V F
F F F F V V F
Quinto: Desarrollamos el resultado final de [(p v q)˄(~q)] con p, en el cual hay un
conector lógico de ⇒ , y como bien sabemos solo nos da falso cuando es (V y F), los
demás son valores verdaderos, y resolviendo nos da como resultado la columna final del
problema.
El argumento es válido