Introducción a la Lógica Proposicional
Tablas de Verdad
Negación
Tabla: La negación (no p, es falso que p, no es cierto que p)
| p | ~p |
|---|---|
| V | F |
| F | V |
Conjunción
Conjunción: (y, pero, también)
| p | q | p ^ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Disyunción
Disyunción: (o)
| p | q | p v q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Disyunción Exclusiva
Disyunción exclusiva: (o es uno o es otro)
| p | q | p v q |
|---|---|---|
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
Condicional
Condicional: (si p, entonces q; p implica q; p solo si q; q se sigue de p)
| p | q | p -> q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Bicondicional
Bicondicional: (p si y solo si q; p es una condición Seguir leyendo “Introducción a la Lógica Proposicional y sus Aplicaciones” »