Raciocinio Lógico e Matematica para concursos - CESPE.UNB - Fabricio Mariano - 2013

Para dar verdade numa disjunção inclusiva com o segundo F, o primeiro
obrigatoriamente tem que ser verdadeiro. Analise a estrutura acima.
V...........ou...........F = V
............................ = V
.........................................
...............................= V
Concluímos assim que o argumento é válido, pois a verdade das premissas
garantiu a verdade da conclusão. Observe que a frase Alex é professor é a mesma
que aparece na conclusão. Analise a estrutura acima.
Segundo caso: A condicional das conjunções das premissas tem de ser
tautológica. Tal princípio tem como base a tabuada lógica.
Exemplo:
P 1
P 2
P 3
... P n
C é uma tautologia.
Alex é professor ou Alex é pintor.
Alex não é pintor.
Logo, Alex é professor.
[(P Q ) (~Q)] P
1 o 2 o P Q ~Q [(P Q) (~Q)] P [(P Q ) (~Q)] P
V V V F F V V
V F V V V V V
F V V F F F V
F F F V F F V
Concluímos assim que o argumento é válido, pois a condicional das
conjunções das premissas com a conclusão gerou uma tautologia. Tal princípio
tem como base a tabuada lógica.
Terceiro caso: A validade de um argumento pode ser confirmada através de
sua estrutura. Para representarmos tal estrutura usaremos as regras de inferência.
Exemplo:
REGRA MODUS PONENS: P Q
REGRA MODUS TOLENS: P Q