Fichas

Lógica Preposicional

Carolina Lopes Portugués 11 fichas

Fichas del conjunto (11)

1P^Q é verdadeira quando ___ De que se trata?ambas são verdadeiras (P e Q)
Conjunção
2PvQ é falsa quando ___ De que se trata?ambas são falsas (P e Q)
Disjunção inclusiva
3P->Q é falsa quando ___ De que se trata?P é verdadeira e Q é falsa
Condicional
4P<=>Q é verdadeira quando ___ De que se trata?-ambas são verdadeiras/ falsa quando ambas são falsas
Equivalência
5Quais 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
6Quando é que um argumento é válido?Quando tem as premissas e a conclusão verdadeira
7Formalização de: "A Rita terá muitos amigos caso vá à festa"P: a Rita vai a festa
Q: a Rita tem amigos
P->Q
8Qual é 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
9Quais são as principais inferências válidas e como se formalizam?Modus ponens:
A->B ; A ; .´. B
Modus tollens
A->B ; ~B ; .´. ~A
10Quais 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
11Formalização das leis de De Morgan~(AvB) é igual a dizer que ~A^~B