La mamdas

.
Inclusivo: P o Q pero ambos
Exclusivo: P o Q pero no ambos
P | Q | PQ | (P)1 (PQ) Condicional | (P1 (PQ) Q) |
V | V | V | V | V |V | F | F | F | V |
F | V | V | F | V |
F | F | V | F | V |
|

P | Q | P Q | (PQ) Y P | (Pq) y (p) (Q) | Q |
V | V | V | V |V | V |
V | F | F | F | V | F |
F | V | V | F | V | V |
F | F | V | F | V | F |
El argumento es válido porque hemos obtenido unatabla en la que todas las condiciones son verdaderas.
No hay nadie que defienda que las personas utilizan tablas de verdad al razonar. Hayuna implausibilidad psicológica debido al incremento exponencial.
Cuando las personas razonan no tienen en cuenta las situaciones falsas yello es lo que dice la teoría de modelos. Es más plausible. La teoría de modelos dice que si lo que es falso no lo tenemos en cuenta, loúnico que tendríamos en cuenta son las variables que existen.
La teoría de modelos dice que representamos inicialmente lo que se menciona. Ej.Hay un lápiz o una goma. Lo negativo no se representa inicialmente. No representamos todo lo que dice la regla. Otro aspecto es que cuandouno representa un problema, se representa de forma explícita lo que se dice y de forma implícita lo que no. Hay una representaciónexplícita que corresponde con el enunciado. También hay una representación implícita que tiene en cuenta la posibilidad de otras situaciones.