O que é uma proposição?

Princípios da fundamentais da lógica (3)?

conectivos lógicos
(6)

Quantas linhas tem a tabela verdade?

Preencher a tabela verdade

Tabela verdade de A ∧ B : Conjunção (e)

Tabela verdade de A ∨ B : Disjunção (ou)

Tabela verdade de A v_ B : Disjunção exclusiva (ou...ou)

Tabela verdade de A ⇒ B : condicional (se..., então)

A ⇔ B : bicondicional (se somente se)

Complete: Negar uma proposição é?
(¬A ou ~A)

Ordem de precedência para montar equações lógicas.

Leis de Morgan (negação das seguintes proposições)
A ∧ B : Conjunção (e)
A ∨ B : Disjunção (ou)

Negação de condicional A ⇒ B
(Se A então B)

Negação de A v_ B : Disjunção exclusiva (ou...ou)

A ⇔ B é equivalente a A ⇒ B ∧ B ⇒ A, sabendo disso, outra maneira de se negar A se somente se B é:

Resumindo quadro de negações

Equivalência de condicional
A⇒B
(2)

Tautologia

Contradição

Contingência

Silogismo

Para resolução de questões de argumentação lógica consideramos sempre que as premissas são verdadeiras.

Método de resolução para questões de argumentação lógica. Partir de conjunções

TÉCNICA DA CONCLUSÃO (ARGUMENTAÇÃO LÓGICA)

quantificadores universais e existenciais(particulares).

Equivalência e Negação de quantificadores universais e existenciais.

Só o que precisa de análise