Академический Документы
Профессиональный Документы
Культура Документы
Grupo No.
200611_596
Tutor
JOHN FREDDY RUANO
Esta regla parte de, al menos, tres premisas: una disyuntiva y dos condicionales. La disyuntiva
encierra dos opciones, las cuales serán los antecedentes de ambas condicionales, de tal modo que
sus consecuentes podrán conformar una disyunción. En otras palabras esto significa que si dos
posibilidades conllevan dos condiciones a cumplir, los efectos serán en última instancia las
posibilidades que se estarán escogiendo en última instancia. Ejemplo:
Lo anterior se simboliza:
"DS" simboliza a la ley del Silogismo Disyuntivo y los números a su lado derecho muestran
de qué premisas se valió la regla.
Modus Tollendo Tollens: El modus Tollendo Tollens (en latín, modo que negando niega), también
llamado modus Tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene
la siguiente forma:
Si A entonces B
No B
Por lo tanto, no A
EJEMPLO:
Ley de la adición (LA): luego de dar un enunciado es probable que se exprese como una disyunción
acompañado por otro enunciado.
A-Luna se encuentra estudiando el material del curso de física general, especialmente el tema
movimiento en una dimensión, entonces se reflexiona un poco para entender el concepto de
desplazamiento, por lo que Luna hace el siguiente razonamiento: “Si camino 7 metros hacia
adelante, entonces me desplazo. Pero no es cierto que (si camino 7 metros hacia adelante y camino
7 metros en sentido contrario, entonces me desplazo). No camino 7 metros hacia adelante. Por lo
tanto, camino 7 metros en sentido contrario”.
Sea:
p = 7 metros hacia adelante.
q = 7 metros en sentido contrario.
r = Desplazamiento.
A-{(𝒑 →∼ 𝒒) ∧ (∼ 𝒓 → 𝒔) ∧ (𝒓 → 𝒑)} → (∼ 𝒒 ∨ 𝒔)
{(𝑝 →∼ 𝑞) ∧ (∼ 𝑟 → 𝑠) ∧ (𝑟 → 𝑝)} → (∼ 𝑞 ∨ 𝑠)
p q r s
F F F F V
F F F V V
F F V F V
F F V V V
F V F F V
F V F V V
F V V F V
F V V V V
V F F F V
V F F V V
V F V F V
V F V V V
V V F F V
V V F V V
V V V F V
V V V V V
Marta
Javier
Joaquín
Carla
“Marta ve la novela”