Lógica Preposicional

Question	Answer
P^Q é verdadeira quando ___ De que se trata?	ambas são verdadeiras (P e Q) Conjunção
PvQ é falsa quando ___ De que se trata?	ambas são falsas (P e Q) Disjunção inclusiva
P->Q é falsa quando ___ De que se trata?	P é verdadeira e Q é falsa Condicional
P<=>Q é verdadeira quando ___ De que se trata?	-ambas são verdadeiras/ falsa quando ambas são falsas Equivalência
Quais são as avaliações das fórmulas proposicionais?	Tautologia: tem valor V em todas as combinações; Contradição: tem valor F em todas as combinações; Contingência: tem valor V e F
Quando é que um argumento é válido?	Quando tem as premissas e a conclusão verdadeira
Formalização de: "A Rita terá muitos amigos caso vá à festa"	P: a Rita vai a festa Q: a Rita tem amigos P->Q
Qual é o dicionário da seguinte frase: "Se a Madalena for às compras tem um vestido novo. A Madalena não vai as compras e come gelado."	P: a Madalena vai as compras Q: a Madalena tem um vestido novo R: a Madalena come gelado
Quais são as principais inferências válidas e como se formalizam?	Modus ponens: A->B ; A ; .´. B Modus tollens A->B ; ~B ; .´. ~A
Quais são as falácias formais e como se formalizam?	-Afirmação do consequente A->B ; B ; .´. A -Negação do antecedente A->B ; ~A ; .´. ~B
Formalização das leis de De Morgan	~(AvB) é igual a dizer que ~A^~B

Resource summary

	Created by Carolina Lopes over 4 years ago