Está en la página 1de 1

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas:
P1: 𝑝→𝑠
P2: ~𝑞→~𝑟
P3: 𝑝∧𝑟___
(𝑞∧𝑠)
P4: p en la premisa 3
P 5: r en la premisa 3
P 6 :s

Modus Ponens P1 Y P4

P 7 :q Tollendo Tollens P2 Y P5

P 8 :(q ⋀ s) Adjunción P7 Y P6

También podría gustarte