RACIOCÍNIO LÓGICO

1. Proposições Simples:
 Uma proposição simples é uma declaração que pode ser classificada como verdadeira
(V) ou falsa (F).
 Exemplos: "A Terra é redonda" (V), "2 + 2 = 5" (F).

2. Conectivos Lógicos:
 São palavras ou símbolos que conectam proposições simples para formar proposições
compostas.
 Exemplos de conectivos:
o Conjunção (E): Representado por "e". A proposição composta é verdadeira
apenas quando ambas as proposições são verdadeiras.
o Disjunção (OU): Representado por "ou". A proposição composta é verdadeira
quando pelo menos uma das proposições é verdadeira.
o Negação (NÃO): Representado por "~" ou "não". Inverte o valor da
proposição.
o Condicional (SE...ENTÃO): Representado por "→". A proposição composta
é falsa apenas quando a proposição antecedente é verdadeira e a consequente é
falsa.
o Bicondicional (SE E SOMENTE SE): Representado por "↔". A proposição
composta é verdadeira quando ambas as proposições têm o mesmo valor
lógico.
o

Tabela Verdade
Tabela Verdade para Conjunção (E): ^
 A conjunção é verdadeira apenas quando ambas as proposições são verdadeiras.
P Q PEQ
V V V
V F F
F V F
F F F

Tabela Verdade para Disjunção (OU): v

 A disjunção é verdadeira quando pelo menos uma das proposições é verdadeira.
P Q P OU Q
V V V
V F V
F V V
F F F
Tabela Verdade para Disjunção Exclusiva (OU...OU): _V
 A disjunção é verdadeira quando pelo menos uma das proposições é verdadeira.
P Q P OU Q
V V V
V F V
F V V
F F F

Tabela Verdade para Negação (NÃO): ~

 A negação inverte o valor da proposição.
P ~P
V F
F V

Tabela Verdade para Condicional (SE...ENTÃO): >

 A condicional é falsa apenas quando a proposição antecedente é verdadeira e a
consequente é falsa.
P Q P→Q
V V V
V F F
F V V
F F V

Tabela Verdade para Bicondicional (SE E SOMENTE SE): <>

 O bicondicional é verdadeiro quando ambas as proposições têm o mesmo valor
lógico.
P Q P↔Q
V V V
V F F
F V F
F F V