Scribd
Upload
31 views1 page

Tarea Logica

The document outlines 10 logical steps deriving (P → S) ∧ (~P → S) from initial premises using rules of inference including transposition, simplification, and adjunction.

Uploaded by

Anthony Paul Lazo Salome
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
31 views1 page

Tarea Logica

The document outlines 10 logical steps deriving (P → S) ∧ (~P → S) from initial premises using rules of inference including transposition, simplification, and adjunction.

Uploaded by

Anthony Paul Lazo Salome
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

1) P → ~Q

2) R→Q
3) ~R → S
4) ~P → ~T
5) ~T → ~R__// ‫( ؞‬P → S) ∧ (~P → S)_
6) ~Q → ~R : TRANSP. 2
7) P→S : SH 1, 3, 6
8) ~P → ~R : SH 4, 5
9) ~P → S : SH 3, 8
10) (P →S) ^ (~P → S) : ADJUN. 7, 9

TRANSP. (P → Q) ↔ (~Q → ~P)

P → ~Q ~P → ~T ~P → ~R
SH. ~Q → ~R SH. ~T → ~R SH. ~R → S
~R → S ‫~ ؞‬P → ~R ‫~ ؞‬P → S
‫؞‬P→S

P→S
~P → S ADJUN.
‫( ؞‬P → S) ∧ (~P → S)

You might also like