Taller 2 - Logica

 

\JMMNY HA. 9 MÕB@EJ

 

Oacjh Gjtna Bjre`j Y`as

6*.:(9)++ 5.$5$+'#'$%)9,+ < +, )+'>%)./% '%&,.5.,&)#'$%,+ ).4'&.).')+ ) 9$+ /&$:$+2 !"  " #$%&'%()#'*% +, -)./% (%)+ 6*.:(9) #$%%$& (% &()*%+$,- ,( %$ (.$%*$/6:9 ,( %$ 5&-5-)6/6:9"  

TD D D T

T T D T

v (-p v -q) 7 T v (p v q) 7 T v (p v q) 7 T v -(p v q) 7 D 9)+ +'>(',%&,+ 5.$5$+'#'$%,+0 +, -,6'%, -,6'%, 9)+ +'>(',%&,+ +'>(',%&,+ '%&, '%&,.5.,&)#'$%,+ .5.,&)#'$%,+ 5).) #)-) #)-) (%$ -, 9$+ /&$:$+? /&$:$+?