Lógica ProposicionalVersión en línea Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica por Lergi Suarez 1 Símbolos cuya función es vincular proposiciones para generar nuevas proposiciones a Implicaciones b conectivos lógicos c Disyunciones 2 Conectivo que en el lenguaje natural se lee como “y” a Conjunción b Disyunción c Condicional 3 Conectivo que se utiliza para diferenciar, separar o indicar una alternativa a Conjunción b Disyunción c Condicional 4 Forma proposicional que es siempre verdadera a Tautología b Contingencia c Contradicción 5 Forma proposicional que es siempre falsa a Tautología b Contingencia c Contradicción 6 Razonamiento cuya conclusión se deduce de las premisas a Contradictorio b válido c No valido 7 El condicional directo y el contrarecíproco son a Equivalentes b No equivalentes c Válidos 8 Dos formas proposicionales p y q son equivalentes si: a P ↔q es tautología b p→q es tautología c pᴧq es Tautología 9 Una proposición implica lógicamente a otra si a P ↔q es tautología b p→q es tautología c pᴧq es Tautología 10 Al simplificar ∼[(p∧∼q)→p] se obtiene a Tautología b Contingencia c Contradicción 11 Al simplificar (~q∨∼s)↔{q→[(∼q→∼s)∧∼s]} se obtiene a Tautología b Contingencia c Contradicción 12 Para comprobar la validez del razonamiento: p→~q , r→q , r ⱶ ~p se usaron a Ley del Condicional, MPP b MPP, MTP c MPP, MTT 13 Para comprobar la validez del siguiente razonamiento ∼t→s,r→p,~(t∧∼r),q→∼(s∨p)⊢∼q Se usaron las leyes: a Silogismo Disyuntivo, MPP; MTP b Morgan, Silogismo Disyuntivo, MTT c MTP, Morgan, Silogismo Hipotético 14 La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es 15 La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es a Tautología b Contingencia c Contradicción 16 Conectivo que precede a una proposición atómica a Implicación b Conjunción c Negación
Crear