logica Matematica

Preview:

Citation preview

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