logica matematica
TRANSCRIPT
b. [(p v -q) Ʌ -p] -q
p q -p -q p v -q (p v -q) Ʌ -p [(p v -q) Ʌ -p] -q
V V F F V F VV F F V V F VF V V F F F VF F V V V V V
Equivalencia entre proposiciones
a. -(p Ʌ -q) b. –p Ʌ q
Directa: Si el ganador es Jersey entonces no tendré buena carneContraria: Si el ganador no es Jersey entonces tendré buena carneReciproca: No tendré buena carne entonces el ganador es JerseyContra reciproca: Si tendré buena carne entonces el ganador no es Jersey
p q -q p Ʌ -q -(p Ʌ -q)V V F F VV F V V FF V F F VF F V F V
p q -p -p Ʌ qV V F FV F F FF V V VF F V F
-(p Ʌ -q) -p Ʌ qFVVF