Ciência que busca verificar a validade Validade racional

Conceito dos discursos e da argumentação

Sentenças com sentido completo e que

podem ser verdadeiras ou falsas
Afirmativas
Simples
Negativas

dois ou mais enunciados ligados por um "e"

Conjunção
p.q ou p/\q

... "ou" (alternativas e includentes)

Tipos Disjunção
p\/q
Compostas
... "se". Antecedente -> Consequente
Enunciado Condicional
p->q

... "se, somente se... então"

Bicondicional
p<->q

Valor de verdade Tabelas

dos enunciados
composto

n = nr. de enunciados
Valor de verdade
dos enunciados 2 elevado a "n" 2 = número das possibilidades de V
simples valor de veracidade dos enunciados F
Elementos
Lógica Conjunto de enunciados que se combinam na
forma de premissas e conclusão.
Sendo V suas premissas é impossível
que a sua conclusão seja F
Validade Sendo V suas premissas é impossível
que a conclusão não seja deduzida
dessas premissas

Sendo V suas premissas a conclusão pode ser F

Invalidade Apesar das premissas serem V, a

conclusão não pode ser deduzida
dessas premissas
Argumento
A validade do argumento depende da
suposição de verdade das premissas
dessa suposição
Maneira de afirmar
Modus ponens p->q
p/q

Maneira de negar
Modus tollens p->q
˜q/˜p

Alvo não pode ser e não ser

não-contradição
Ou é ou não é
Princípios lógicos terceiro excluído

identidade O que é, é

&{MAP_NAME} - 24/03/11 - Mindjet