Loading...
Uploaded by NaturalDeduction on Mar 15, 2009
Conditional Introduction and Conditional Elimination Rules
Education
Standard YouTube License
The first is -p conditional p therfore p.
The second is -p&q, p therefore -q.
The third is p bicondtional Q, - p & q therefore -q
arabdbest 2 years ago
I have watched all of the videos concerning the rules and seem to make very clear sense, thanks for that. I juust wanted to enquire about some different cases involving the operators. For example. ~ P P P
5.2. ~(P & Q), P ~ Q
5.3. (P Q), ~(P & Q) ~Q
Load more suggestions
The first is -p conditional p therfore p.
The second is -p&q, p therefore -q.
The third is p bicondtional Q, - p & q therefore -q
arabdbest 2 years ago
I have watched all of the videos concerning the rules and seem to make very clear sense, thanks for that. I juust wanted to enquire about some different cases involving the operators. For example. ~ P P P
5.2. ~(P & Q), P ~ Q
5.3. (P Q), ~(P & Q) ~Q
arabdbest 2 years ago