Title Datc

Pagc

AssIGN MENT PoR TRUTH FUNCTIONAL LOGIC

B.A( Hons. ) Philosophy
Semesten-
Subanitted Toi Anmalpheat ma'am
Subamitted Sy: Melady Phijan
Rall No 20210

Question h the llmaaimg exehcises, Censfauct a mal

phroffer eachahgument by adlimg just
tare addAitiona/statements

1 A
B
(Avc):B

vhs2 A
B
(AVC): B
3 AVC Additionl
(AVC).BL33 Cmjunctionl
DE

D. £

D E
D.
E
3. D 2-Simplification
L,3-Modus Ponens
ASSTIME
 Title Date.
Page
3. 6 PQ
R
GH) yI- PR

Ans P.A
R

PR
GH)IL2-tmj 3. P P L-Simp.
4 H)YI |3- Add.1 4. P.R 13,2-i

I3k

KVL

kVL S
I 2 = M. P 3. T L-Siamp:
ky L3- AdA.1

MVN
V
N

tns: My N Ans vM w
M 0
N WyA X_
3 M. I2- Simp 3 w ,-D.S
N L,3-D. s1| 4 W X L3-AdA.]

CLASSTIME
 Date
Title
Page-

Y2z- i2 (G 2H) CI 2JTD

Y G
H VJ
Y.z

Y2z Ans: 1 (G>H) ( I 21)

Ansi
2 G
Y.z HvJ
, 3 - m.Pl 3 Gv I 2-AdA.1
3. Z
H vJ L 2 -C:DL
L2,3-Comj.11

A2 B 13 [K.L)
K2L
(A:B)2c-
A2C

Asb
Ansi. k.L)
Ans L.
K21
(AB
A2c
3. k (k.L) L2-Abs.1-
3. A 2 CA: B) I - As.1
L8,2H.31 K [3,1- M.T|
A 2 C
i4 M2NS. (M2o)_
D>E
N2O
(E2P) (E2D)
M >0

D2E- Ansi 1(M N).(M20)

CEp): (E2D) N 20-
D F M2O

3. I 2 Simp 3 MSN i -Simp:l

M20 L 3,2-H-3

CLASSTIME
 Title
Date
Page
15(P> a) (R>s) Ans (z A) > (B.c
CPyR: ( y R Z eA_
.
z 2e. c)
Ans: ( P Q) (R2 sL 3 .z (z.A) L2-
As
Py R) (Qv R) 4 z2 (B.C) L3,1-H.ch
3. PyR_ L-Simp: 19DE
L,3-CD LD>(D.E)]3(Fa-G)

y VV_
vhns: TU)(I3v)
3 D2 (D. E)L-Ab.
4 Pau G 2, 3- M.P1
UyV
IvT I2-AAA1 20. HI)yJ_
LL3-cD] Hy I)
J VH

y H
vAns 3 J L2- D. s
TV v HL3- Add-

3 W_ X L2-AdA11 21(K>L)2M-
LL,3-M: P1 M. (>k)

Ana. R»L) 2 M.
M (z LK)
2 2(B.c) K2LJ-
3. M L2-Simp
CLASSTIME LK2L) L3-M.TL
 Title
Date
Page 3
2 N S0)S Cp>q
A5 O:x) >( 4.2)
LP 2CN D)1LN2(P2Q
P (p>q)_ Iw.x)(Y.2)1
. w:X-
vhnS CNSO) (P Q) Ans: i w.x) 9 2)
2LP (N20)]N3(P2Ql Lwx). (Y 2)]
PaP»a) (w.x)_
3 I P s (NP01 LR-Simp. (wx)2l(wx.(Yz
P (P 2) L3,1- H.s1 I1-Ats.1
w.x) I3,2-MT]
A6 A2B
Ayc_
Ana R> s C D
3 S S.R) Bv D
LR> ((Rs)1.Is 2(s R)] |_ns A20
3 . R e (R.s) |-Abs.1 2 A v C_
4 R2 (A:s1. Lss (s.R)] D
3, C
L3,2 Cni.1 By D
(A2e).(cD)
a |LT2(u»y)1u2(Tyyl L,3-Cni.-
(TvU). (vv)_ 5 Bv D L4,2-C.Dl1
U V)v (Tv V)_
Ans: 1L LT> (uyv)1.Lus(Tv V)24. (E P)v ( Gq H)
IG-
U V)v (Ty V) H
3.Ty U L -simmp.1 Atns CE. F) v (GH)
4 ( V ) v (Iy V) I G
L1,3-C.DL 3 E. £)_
I H
4 G i,3-D: s]
ST H L2,4-H s1
CLASSTIME
 Title Date
Page
28
Kv (LT)
LJ

Ky L2J)

K LL,3- Ds]
L I L2,4-D.s]

CM>N). (o2P)
N2P
(NP)2 (MvO)
NyP

N>P
a (N> p)2 (MyO)_
NyP
4 MMvO L3,2 M. P1
S. Ny P L,4-Dl

20Q2(RVs)
(T.) R
(Rv$) (T.u)
2R_

3(Lu) 2R-
3.CR Vs) 2 (I U)
R_
4
2 (Tu) 3- H S1
CLASSTIMEJ 5. R_