Lógica Preposicional

Descripción

Perguntas e respostas breves da Lógica Preposicional: 10º ano
Carolina Lopes
Fichas por Carolina Lopes, actualizado hace más de 1 año
Carolina Lopes
Creado por Carolina Lopes hace casi 4 años
5
0

Resumen del Recurso

Pregunta Respuesta
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
Mostrar resumen completo Ocultar resumen completo

Similar

Apresentação-O que é Lógica e como ela está interligada com a programação?
Ketlen Dos Anjos
Ensino de Lógica de Programação para Crianças
dlantunes
Filosofia
Kamila Vieira
RACIOCÍNIO LÓGICO
Viviana Veloso
Raciocínio Lógico Simulado Concurso
Roberta Souza
Temas mais cobrados em Matemática
Marina Faria
Figuras de linguagem e terminologia
marlonmilitani
Introdução à Lógica de Computação
Joselaine Frantz
Lógica Aplicada
Samuel Franco
Temas mais cobrados em Matemática
LETICIA ALMEIDA
Lógica sentencial
leticia coutinho