Download Mathematical Reasoning: Propositional Logic & Truth Tables and more Cheat Sheet Mathematics in PDF only on Docsity!
Logic=epoikonal^ and^
Predicote
Proport tional Logic
Staten ent Sentence
Falre t)
avadox Centene
False t i)
Stateent
Sionple
statement statement E)(sttat |Conjanc tions T )
Shgle statenc)
-Tue or Folse F
Comfpound
statement (statement (statement Ret Connec toilcanjncti then two tatemen) -H direct et aT statement oreral) statement T Tre/False tt tor (^) checking (^) conmpaund Date: Page:. may be le,^ ay^ be^ Fade Lott poliibille are thee, (depndi con juneioni and number of statemet)
Staterment
Ces,)
Sitinpletatement
P-T
Gingle F 1tateme
depends
Compound sthtemnt tth tabe
Connectorilonmtiens end
And Conneetort /Conjun etions And, O, B.t If°then If and ony if te. Conjnetion) SHT twth tatle
-Intereution/Common
Ad P T Pe- 2 tatemntr T F F meauns vepresentation
4 statement t
T
tvuth
T F F T table Date: Page:
numbes ot tatement)
Gonmee tovi
all psible postibiies all poscible -ztt If Ctatement) and only
-Double Inplie:/ Dovble Ipliatior
vepreientaten FP2tatement: T Pee-if Ptatem at ) and F statemet Tue Felse. Not t velated T F epresenttion T Simpke statement s elated F Not /Negation +p-tateent PP F P F F T P9-2 tatemente
connetarsleonjun ies.
FCtatenet 2)
T
TFT
Ctatonat 2) ttateme+ Conpand Jmakak stateineit Fal e
plita tement) and eatoaat2)
Date: Paga: statemet
Tawt
Convevse
/Contra diction
False zt P meaning df^ statem^ ent berc Ptatemett Con verse PA-tatementt FPVa-state ment: P’-tatemeuti Tde and 3PJ-tonverie Petatmtatt pVp = P Ptateeat)
Contrapotie
SereT statement T meanin f tatemet here -pA- tateet -tatemet ngvp- contrapai tive -tatementt |Agebva f statmen.ta p -nttapitie Tuth table.^ t^ t |nahaln
devie
Date: Page:. at stateaent
DComplements las
naqation/ zu/complemet
~Cp) =pA
-P-etateent!, q- toa-temed 2 ILvolution law P-tatement ( Deived fom above -Ce)=~Cpa~) P- statement T g-tatement Ahy lqvertion solve by uidhg algebve f shateriat or trth
statement
(Tuth table
F statement statenent 92 3-
guestion
P-tate ment^ ,^ 4-atemet^ ,r-tement3, Jahak
3vcrhon
Date: Page: 2lebra f statemet
adgebra
T F E -2' Same for T O statement T T 3T +then F 23 2 stoetement
- 2 co lumns 22 3 1atement Vows In F T T T 2
ArHficial Inte |l:
-Statements =Prapoi Hons Jonakak
statement, t tatementso oh.
Sinple statement - Atomic stetemet Date: Page:
