Raciocinio Lógico e Matematica para concursos - CESPE.UNB - Fabricio Mariano - 2013
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Para dar verdade numa disjunção inclusiva com o segundo F, o primeiro<br />
obrigatoriamente tem que ser verdadeiro. Analise a estrutura acima.<br />
V...........ou...........F = V<br />
............................ = V<br />
.........................................<br />
...............................= V<br />
Concluímos assim que o argumento é válido, pois a verdade das premissas<br />
garantiu a verdade da conclusão. Observe que a frase Alex é professor é a mesma<br />
que aparece na conclusão. Analise a estrutura acima.<br />
Segundo caso: A condicional das conjunções das premissas tem de ser<br />
tautológica. Tal princípio tem como base a tabuada lógica.<br />
Exemplo:<br />
P 1<br />
P 2<br />
P 3<br />
... P n<br />
C é uma tautologia.<br />
Alex é professor ou Alex é pintor.<br />
Alex não é pintor.<br />
Logo, Alex é professor.<br />
[(P Q ) (~Q)] P<br />
1 o 2 o P Q ~Q [(P Q) (~Q)] P [(P Q ) (~Q)] P<br />
V V V F F V V<br />
V F V V V V V<br />
F V V F F F V<br />
F F F V F F V<br />
Concluímos assim que o argumento é válido, pois a condicional das<br />
conjunções das premissas com a conclusão gerou uma tautologia. Tal princípio<br />
tem como base a tabuada lógica.<br />
Terceiro caso: A validade de um argumento pode ser confirmada através de<br />
sua estrutura. Para representarmos tal estrutura usaremos as regras de inferência.<br />
Exemplo:<br />
REGRA MODUS PONENS: P Q<br />
REGRA MODUS TOLENS: P Q