Académique Documents
Professionnel Documents
Culture Documents
^ v
& +
Alfabeto de L0
Tablas de verdad
Una tabla de verdad proporciona un diagrama lgico, una lista de todas las combinaciones
posibles de valores de verdad para cada letra proposicional.
Conjuncin: Operador binario que es verdadero cuando ambos conyuntos (P y Q) son
verdaderos.
P Q P^Q
1 1 1
1 0 0
0 1 0
0 0 0
Disyuncin: Operador binario que es verdadero cuando al menos uno de ambos disyuntos
es verdadero, por lo que es falso solo en el caso en que ambos disyuntos son falsos.
P Q PvQ
1 1 1
1 0 1
0 1 1
0 0 0
Cunjunto de
Formulas Argumentos
formulas
a) Vlido: Premisas
a)Satisfacible: Son verdaderas
Satisfacible Insatisfacible todas las formulas del conjunto
verdaderas y conclucin
verdadera.
en el mismo renglon
b) Invlido: Premisas
b)Insatisfacible: Nunca pueden
verdaderas y conclucin
ser verdaderas todas las
falsa.
a) Tautolgica formulas del conjunto en un
Contradictorio mismo renglon.
b) Contingente
Bibliografa recomendada
Lgica clsica de primer orden Jos L. Falguera
Introduction to Logic Harry Gensler
Lgica para principiantes Mara Manzano
Introduccin a la Lgica Copi y Cohen
Manual de lgica elemental Mario Alberto Lozano & Adriana Perez Armendariz
Bibliografa
Lozano Gonzales, M. A., & Prez Armendriz, A. (2016). Manual de Lgica Elemental.
Mxico: Trillas.