Nociones de lógica simbólica / Amarilis Sagredo, Eduardo Luna

Antecedente, 26.-- Argumento, 60.-- Falacia, 56.-- Que contienen proposiciones existenciales, 93.-- Que contienen proposiciones universales, 83.-- Válido, 56.-- Bicondicional, 24.-- Conclusión, 55.-- Condicional, 26.-- Conectivo de Sheffer, 24.-- Conjunción, 9.-- Consecuente, 26.-- Contingencia, 34.-- Contradicción, 34.-- Cuantificador / Universal, 79.-- Existencial, 87.-- Relación entre, 96.-- Disyunción, 12.-- Exclusiva, 13.-- Inclusiva, 13.-- Doble implicación, 49.-- De formas proposicionales, 53.-- De proposiciones, 49.-- Formas argumentales, 55.-- Falacia, 56.-- Procedimiento para determinar la validez de, 63.-- Válida, 56.-- Formas proposicionales, 4.-- Equivalencia de, 22.-- Implicación, 44.-- De formas proposicionales, 48.-- De proposiciones, 43.-- Métodos de demostración / Directo, 69.-- Indirecto, 71.-- Contrarrecíproca, 71.-- Reducción al absurdo, 72.-- Negación, 8.-- De una bicondicional, 40.-- De una condicional, 40.-- De una conjunción, 38.-- De una disyunción, 39.-- De una negación, 38.-- Notación, 4, 14.-- Premisas, 55.-- Proposición, 1.-- Compuesta, 6.-- Existencial, 88.-- Que contienen varios cuantificadores, 99.-- Universal, 79.-- Proposición abierta / En una variable, 76.-- En varias variables, 99.-- Recorrido de, 77.-- Tablas de verdad, 14.-- Tautología, 33, 42.-- Valor de verdad, 2, 5.-- Variable, 76.-- Dominio de definición de la, 76.