Raciocí co

Sentença declarativa.
Sujeito
Simples Símbolos / Termos
Verbos
Verdadeira ou Falsa

Proposições não ( ~ / ¬) negação

... e ... / mas ( ˄ ) conjunção
... ou ...( ˅ ) disjunção inclusiva
Compostas Conectivos
ou ... ou ( ˅ ) disjunção exclusiva
se ... então ( → ) condicional
Interrogativa ... se e somente se... ( ↔ ) bicondicional
Exclamativa
Desverbal (Carro azul).
Conceito Não proposições Aberta / Vaga (Ele é grande. / X + Y = 4).
Paradoxo (Esta frase é uma mentira.).
Ambígua (O soldado prendeu o ladrão no banco.).
Imperativa (Fecha a porta.).
Tautologia: o resultado final da tabela-verdade só deverá ter valores lógicos verdadeiros.
Contradição: o resultado final da tabela-verdade só dever ter valores lógicos falsos.
Contingência: o resultado final da tabela-verdade terá como valores lógicos verdadeiros e falsos.
Equivalência: o resultado final de duas tabelas-verdades serão idênticos.

(p → q)  (~ p ˅ q)
(p → q)  (¬ q → ¬ p)
~ (p → q)  (p ˄ ~ q)
Principais equivalências ~ (p ˄ q)  (~ p ˅ ~ q)
¬ (p ˅ q)  (¬ p ˄ ¬ q)
¬ (~ p)  p
(p ↔ q)  (p → q) ˄ (q → p)
 Os conectivos (˄, ˅, ˅ , ↔) são comutativos.
O ( → ) não é comutativo e o que vier entre o SE e o ENTÃO chamará CONDIÇÃO SUFICENTE o que vier após o
ENTÃO chamará CONDIÇAO NECESSÁRIA.
Obs. Conectivos
O ( → ) poderá vir com os nomes (quando se, implicação, somente se, etc.). O SE aparecendo no meio da proposição,
deverei trazê-lo para o início.
Quando aparecer o conectivo NEM deverei substituí-lo por E negando as proposições.

Identidade: uma proposição verdadeira é sempre verdadeira e uma, falsa é sempre falsa.
Princípios Não contradição: uma proposição não poderá ter os dois valores lógicos simultaneamente.
Terceiro excluído: uma proposição não ter outro valore lógico que não seja verdadeiro ou falso.
Negação: verdadeiro se tornará falsa e vice-versa.
Conjunção: só será verdadeiro quando todos forem verdadeiros.
Disjunção inclusiva: só será falso quando todos forem falsos.
Tabela-Verdade
Disjunção exclusiva: só será verdadeiro quando os valores lógicos forem diferentes.
Condicional: só será falso quando a primeira parte for V e a segunda for F.
Bicondicional: só será verdadeiro quando as partes forem iguais.

P Q ~p ¬q p˄q p ˅q p˅q p→q p↔q

V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V

Negar a sentença a > 7 ficará a ≤ 7.

Obs. Importates Negar a sentença a ≤ 8 ficará a > 8.
1 1
Negar a sentença x  ficará x  .
2 2
Obs.: Relação entre TODO e SE ENTÃO, a 1º parte do TODO e a CONDIÇÃO SUFI CIENTE e a 2° é a CONDIÇÃO NECESSÁRIA. Veja:
Todo cearense é brasileiro substituindo ficará: Se Carlos é cearense, então ele é brasileiros.

Todo A é B. A B Nenhum A é B. A B

DIAGRAMAS LÓGICOS
DIAGRAMAS LÓGICOS
Obs.: Em lugar de TODO ou NENHUM po-
derá se utilizado HÁ, EXISTE, PELO MENOS
UM, etc.
Algum A é B. A B Algum A não é B. A B

~ (Todo A é B) ~ (Algum A não é B)

é é
Algum A não é B Todo A é B

NEGAÇÕES NOS DIAGRAMAS

~ (Nenhum A não é B) Algum A é B
é é
Algum A é B Nenhum A é B

Nenhuma A é B Algum A não é B

Todo A é B
é é
é
Todo A não é B Nem todo A é B
Nenhum A não é B

EQUIVALÊNCIAS NOS DIAGRAMAS

 Premissas simples.
Premissas Compostas.
Estruturas Premissas Se então em todas as premissas e alternativas.
Lógicas Sempre terá como valor lógico final VERDADEIRO.

Válido ou silogismo Inválido ou falácia

Lógica de Argumentação