Considerando que x, y e z sejam números naturais tais que...

Parti do principio de que somente números pares + impar, resultam em numeros impares.

se X é Impar e Y é par, logo o Z realmete é impar tornando todas as premissas verdadeiras e a conclusão válida

X^Z>Y

V^V>V

V^V pela regra é ( valores iguais verdadeiro ) = V

V>V pela regra é ( vera Fi...) = V

Logo a proposição é verdadeira

x é impar e z é impar então y é par

x e z entao y

o conectivo e so é verdadeiro quando os dois termos sao verdadeiros e assim o se entao devera  tambem ser verdadeiro para que a proposição seja verdadeira .