Uso de conectivos

Uso de Conectivos |
|

| •   | CONJUNCIÓN |

| El argumento será verdadero si todas las proposiciones de éste son verdaderas, de lo contrario, será falso |

P  n Q |  V  n V = V |
| V  n F = F |
|  F  n V = F |
|  F  n F = F |

| •   | DISYUNCIÓN |

| El argumento será verdadero si sólo una o todas las proposiciones de éste son verdaderas, de lo contrario será falso|

P  V  Q |  V  v V = V     |
|  V  v F = V |
|  F  v  V = V |
|  F  v F = F |

| •   | IMPLICACIÓN |

| El argumento será falso únicamente cuando el antecedente sea verdadero yel sucederte sea falso, de lo contrario será verdadero |

P   Q |  V   V = V     |
|  V   F= F |
|  F   V = V |
|  F   F = V |

| •   | BICONDICIONAL |

| El argumento seráverdadero cuando tanto el antecedente o sucederte sean o ambos verdaderos o ambos falsos, de lo contrario será falso |

P   Q |  V   V = V     |
|  V   F = F |
|  F    V = F |
|  F   F= V |
Estas tablas proporcionan un método mecánico para comprobar si una proposición molecular es cierta o falsa, si se conoce la certeza o falsedad de las proposiciones que la forman, para ello:| 1. Se escriben todas  las combinaciones posibles de valores de certeza para todas las proposiciones atómicas incluidas. |

| 2. Se determinan los valores de certeza que presentan todas laspremisas y de la conclusión del razomaniemto. |

| 3. Se buscan las líneas que presentan proposiciones ciertas, si la conclusión es cierta para cada uno de los razonamientos,                   entoncesel razonamiento es válido |

También nos permiten conocer si un argumento es equivalente o una consecuencia lógica de otro, en lo que podemos encontrar...
A | B | A v B | A n B | A  B | A  B |¬ A | ¬ B |
F | F | F | F | V | V | V | V |
F | V | V | F | V | F | V | F |
V | F | V | F | F | F | F | V |
V | V | V | V | V | V | F | F |

Tautología: Término o términos del argumento...