Equivalências lógicas

Question 1

Da disjuncao

Answer 1

(OU)
-comutativa: so muda a ordem

-silogismo: troca o conectivo ‘‘ou’’ pelo ‘‘se…entao’’ e nega a 1 parte.

Question 2

Da disjuncao exclusiva

Answer 2

(OU…OU)
-comutativa: so muda a ordem

-negacao dupla: mantem o conectivo e nega as duas partes

-afirma e nega OU nega e afirma

Question 3

Da condicional

Answer 3

(SE…ENTAO)
-unica que nao tem a comutativa

-silogismo : NEYMAR

-contrapositiva: nega em x (mantem o conectivo)

Question 4

Da bicondicional

Answer 4

(SE, E SOMENTE SE)
-comutativa: so muda a ordem

-negacao dupla: nega as duas partes e mantem o conectivo

-afirma e afirma OU nega e nega