El Viernes, 2 de Marzo, estuvimos practicando las tablas de verdad con diferentes ejemplos, como los siguientes:
Ejemplo número 1:
Realizar el siguiente cálculo de deducción:
......4.....3.....2.....3......1
[[(p V q) → r] Λ (p V q) → r
....1..1.1.1..1..1..1.1..1..1.1
....1..1.1.0..0.0..1.1..1..1.0
....1..1.0.1..1..1..1.1..0..1.1
....1..1.0.0..0.0..1.1..0..1.0
....0..1.1.1..1..1..0.1..1..1.1
....0..1.1.0..0.0..0.1..1..1.0
....0..0.0.1..1.0..0.0.0..1.1
....0..0.0.1..0.0..0.0.0..1.0
En este ejemplo, nos encontramos con un enunciado tatutológico, porque en el conector principal (1), todos los valores de verdad son verdaderos.
Ejemplo número 2:
Realizar el siguiente cálculo de deducción:
....2.....1...3...2..
(p Λ q) → (¬p V q)
.1..1.1...1..1.1.1.1
.1..0.0..1.0.1.0.0
.0..0.1..1..1.0.1.1
.0..0.0..1..1.0.1.0
Este enunciado es de carácter tautológico, ya que, como en el ejemplo anterior, todos los valores de verdad correspondientes al conector principal (1) son verdaderos.
Ejemplo número 3:
Formalizar el siguiente enunciado:
Intenté explicarle desde mi punto de vista aunque no quiso escucharme.
______________ p ______________
[intenté explicarle desde mi punto de vista]...
...aunque no...
_____ q _____
[quiso escucharme].
p Λ ¬q
Tomás García-Ceballos San Martín
No hay comentarios:
Publicar un comentario