Tarea 1
Anuncio
Lógicas Multivaluadas EJEMPLO PARA TAREA: Tablas de Verdad Axel Arturo Barceló Aspeitia [email protected] Como el único caso en el que el sistema de Lukaciewicz y las supervaluaciones divergen es el de la implicación material, cualquier fórmula o argumento en el que sólo salgan negaciones, disyunciones y conjunciones tendrá la misma tabla, independientemente de qué lógica trivalente usemos. Sin embargo, en el caso de fórmulas en las que ocurre la implicación material, hay tres opciones: (A) L3 (Lukaciewicz), (B) por tablas definidas por supervaluaciones, o (C) Supervaluaciones. Para ilustrar esta diferencia, voy a realizar la tabla de verdad de una fórmula de las tres maneras: A. L3 P V V V I I I F F F Q V I F V I F V I F (P P\Q V I F V V V V > V I F V V I V V V I I V V (Q & V I F I I F F F F P)) & V I F I I F P)) F F I V B. Por las tablas definidas por suprvaluaciones P V V V I I I Q V I F V I F (P > V I F I I I (Q 1 F F F V I F V V V P\Q V I F V V I V I I I V F F F F F I V C. Por supervaluaciones P V Q V V I F V F I I V F V V F I V V V V V V V F P\Q V I F V V V F V V F V V F F F F V F V F I (Q V F I V V I > V F V F I V F I V (P V I I I V & V V F F V F V F F F F F F F F F P)) F F I V 2
![POLÍTICA DE CALIDAD [ PQ ] - Universitat Politècnica de Catalunya](http://s2.studylib.es/store/data/004806655_1-6c5792dea36e0d4a7e08b3e06b866468-300x300.png)
