Scribd
Upload
44 views

Josue LM4 Act 1 3

1. The first propositional form is a material biconditional that relates the conditional statement "(A → B) → D" to the conditional statement "~D → ~(~B → ~A)". Based on the truth table, this propositional form is a material biconditional. 2. The second propositional form relates the disjunction "S ∨ (P→Q)" to the disjunction "(~Q → P) ∨ S". Based on the truth table, this propositional form switches between a biconditional and a non-biconditional, depending on the truth values. 3. The third propositional form relates the conditional statement "{[(A ∨ B

Uploaded by

YAGI, Miyuki F.
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
44 views

Josue LM4 Act 1 3

1. The first propositional form is a material biconditional that relates the conditional statement "(A → B) → D" to the conditional statement "~D → ~(~B → ~A)". Based on the truth table, this propositional form is a material biconditional. 2. The second propositional form relates the disjunction "S ∨ (P→Q)" to the disjunction "(~Q → P) ∨ S". Based on the truth table, this propositional form switches between a biconditional and a non-biconditional, depending on the truth values. 3. The third propositional form relates the conditional statement "{[(A ∨ B

Uploaded by

YAGI, Miyuki F.
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/ 4

Loreece Anne P.

Josue
BS PSYCHOLOGY 1C
2/21/22

LM4 Activity
Using Truth Table Techniques (TTT), determine what kind of propositional forms are given
below.

1. [(A → B) → D] ↔ [~D → ~ (~B → ~A )]

A B D (A → B) (A → B) → D ~A ~B ~D ~B → ~A ~ (~B → ~A ) ~D → ~ (~B → [(A → B)


~A ) → D] ↔
[~D → ~
(~B → ~A
)]

T T T T T F F F T F T T

T T F T F F F T T F F T

T F T F T F T F F T T T

T F F F T F T T F T T T

F T T T T T F F T F T T

F T F T F T F T T F F T

F F T T T T T F T F T T

F F F T F T T T T F F T

2. [ S ∨ ( P→Q ) ] ↔ [ (~Q → P) ∨ S

S P Q P→Q S ∨ ( P→Q ) ~Q ~Q → P (~Q → P) ∨ S [ S ∨ ( P→Q ) ] ↔ [ (~Q → P) ∨ S


T T T T T F T T T

T T F F F T T T F

T F T T T F T T T

T F F T T T F F F

F T T T F F T F T

F T F F F T T F T

F F T T F F T F T

F F F T F T F F T

3. { [ (A ∨ B ) ∧ C ] → D } ↔ [ E → (~A ∧ ~D ) ]

A B C D E (A ∨ B ) (A ∨ B ) ∧ C [ (A ∨ B ) ∧ C ] → ~ ~ (~A ∧ E→ { [ (A ∨ B ) ∧
D A D ~D ) (~A ∧ C]→D}↔[E
~D ) → (~A ∧ ~D ) ]

T T T T T T T T F F F F F

T T T T F T T T F F F T T

T T T F T T T F F T F F T

T T T F F T T F F T F T F

T T F T T T F T F F F F F

T T F T F T F T F F F T T

T T F F T T F T F T F F F

T T F F F T F T F T F T T

T F T T T T T T F F F F F
T F T T F T T T F F F T T

T F T F T T T F F T F F T

T F T F F T T F F T F T F

T F F T T T F T F F F F F

T F F T F T F T F F F T T

T F F F T T F T F T F F F

T F F F F T F T F T F T T

F T T T T T T T T F F F F

F T T T F T T T T F F T T

F T T F T T T F T T T T F

F T T F F T T F T T T T F

F T F T T T F T T F F F F

F T F T F T F T T F F T T

F T F F T T F T T T T T T

F T F F F T F T T T T T T

F F T T T F F T T F F F F

F F T T F F F T T F F T T

F F T F T F F T T T T T T

F F T F F F F T T T T T T

F F F T T F F T T F F F F

F F F T F F F T T F F T T

F F F F T F F T T T T T T

F F F F F F F T T T T T T

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy