8/11/2019 LOGICA Eval. Pag 33

1/3

LOGICA

PROPOZITII COMPUSE

EVALUARE / pag. 33 34

1. Construiti formulele corespunzatoare urmatoarelor propozitii :

a. Dacaeste adevarat ca a !"st #a !#$% este clarde ce &' a rea#(at sarce pr$te.

p)*

+. Daca,"tarar#e drepte s'&t & c"&c"rda&ta c' pr&cp#e $"ra#esit"ate ,"tarar#e #'ate a' !"st drepte% aceastainseamnaca act'e &trepr&se a' !"st $"ra#e.

-p *r

c. 0' este adevarat ca a$ $&ttsauca a$ "$s ceva% asa incats'&t " pers"a&a $"ra#a.

-)p V )*r

d. Ms'&ea $ea este de a1 a2'ta pe ce#a#tsaude a &' per$te &ca#carea reg'#a$e&t'#'.

p V )*

e. "ct"r'# &e1a &ter(s sa !ace$ e!"rtsisa sta$ prea $'#t a!ara% dardaca &' sta$ a!ara% at'&c &e v"$ p#cts.

8/11/2019 LOGICA Eval. Pag 33

2/3

-)p )* -)*r

!. I&tr'cat Mara s E#e&a s'&t prete&e% iarMara $erge #a !ac'#tatea de !(ca% atunci&' p"ate ! adevarat ca

E#e&a va $erge #a !ac'#tatea de #tere.

-p *) r

g. Daca$erg c' $&e #a $ec'# de !"t+a#% ve vedea '& spectac"# sp"rtvsaut ve petrece &tr1'& $"d p#ac't

t$p'# #+er.

p-* V r

,. Dacaa p"s+#tatea de a re("#va e5erct'#saude a s'gera " ca#e de re("#vare% inseamna caa &vatat #ectapredata ersi&' evt & a !ace te$e#e.

-p V *-r )s

. C&e c,e#t'este $a $'#t decat res'rse#e dsp"&+#esi&' &cearca sa gaseasca ce#e $a +'&e s"#'t% inseamna

casau&' c'&"aste pr&cp#e ec"&"$e de pata sau&' pasa.

-p )*

-)r 6 )s

2. Daca si numai daca ve c'$para !#"r de ('a e% ve a2'&ge sa te &ta#&estsausa petrec $a $'#t t$p c' ea.

p 7 -* V r 0egata8 9~: -non p); C"&2'&cta8 9&: sa' 9: -p si q ; s2'&cta &ee5c#'sva8 9V: -p sau q ;

s2'&cta e5c#'sva8 9W: -sau p sau q ; I$p#cata8 9: -daca p atunci q ;

8/11/2019 LOGICA Eval. Pag 33

3/3

Ec,va#e&ta8 97: -daca si numai daca p atunci q

3