Conectivos operadores Flashcards
Os conectivos lógicos são elementos que operam as proposições simples para formarem novas proposições, as proposições compostas. São eles: ‹e›, ‹ou›, ‹se, então›, ‘se, e somente se’ e ‘ ou... ou...’ (7 cards)
Conjunção
Proposição composta formada por duas orações quaisquer que estejam ligadas (operadas) pelo conectivo “e”.
e/mas/tanto como (⋀). A⋀B e B⋀A são iguais.
Ex: A prova foi fácil e(mas), (tanto como) raciocínio lógico é difícil. (proposição composta conjuntiva)
Disjunção inclusiva: Ou: (⋁). A⋁B ou B⋁A são iguais, têm a mesma interpretação.
Disjunção inclusiva, que é uma proposição composta formada por duas proposições simples que estejam ligadas (operadas) pelo conectivo “ou”.
Ex: A prova foi difícil ou raciocínio lógico foi fácil. (proposição composta disjuntiva)
Disjunção exclusiva: “ou…ou” (⋁). AVB ou BvA são iguais.
Ex: Ou a prova foi fácil ou lógica é fácil.
A prova foi fácil ou lógica é fácil (mas não ambos). Tem a mesma interpretação de “ou…ou”.
Condicional: “se../então..) (→)
Principal operador lógico. Denomina-se operador condicional a proposição composta formada por duas proposições que estejam ligadas (operadas) pelo conectivo “se…,então…”/ “quando”, “como”, e etc.
Ex: Se a prova foi difícil então lógica foi fácil.
Se a prova foi difícil, lógica foi fácil.
A prova foi difícil, então lógica foi fácil.
Quando a prova é difícil, lógica é fácil.
Antecedente - (B) consequente. Existe uma ordem
ex: (A) A prova foi difícil, consequentemente (B) lógica foi fácil.
ex: Lógica ser fácil é uma consequência da prova ser difícil.
Bicondicional: “se, e somente se” (↔). A↔B ou B↔A não altera o sentido.
Temos agora o operador bicondicional que será identificado pelo termo “se, e somente se”. A proposição composta formada por duas proposições que estejam ligadas por esse conectivo.
EX: A prova foi difícil se, e somente se, lógica foi difícil.
Negação: (¬ ou~) (~A)
Ex: Não é verdade que a prova foi difícil.
É falso que a prova foi difícil.
Proposição simples
Não tem conectivos lógicos