Introducing 

Prezi AI.

Your new presentation assistant.

Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.

Loading…
Transcript

?

Cuantificatori

?

Predicate

Enunțuri

?

Propoziții

?

Conectori

?

Negația

Disjuncția

v(p) v(¬p)

1 0

0 1

v(p) v(q) v(p v q)

1 1 1

1 0 1

0 1 1

0 0 0

Filozoful grec Aristotel (384 - 322 î.e.n.) a fost inițiatorul științei logicii

Elemente de logică matematică

Are ca obiect investigarea gândirii formale și a inferenței prin metode matematice caracteristice

Logica matematică s-a conturat ca domeniu științific autonom în secolul al XIX-lea

Conjuncția

Implicația

v(p) v(q) v(p ->q)

1 1 1

1 0 0

0 1 1

0 0 1

v(p) v(q) v(p ^ q)

1 1 1

1 0 0

0 1 0

0 0 0

Echivalența

v(p) v(q) v(p <->q)

1 1 1

1 0 0

0 1 0

0 0 1

Profesor: Diana Cautiș

Learn more about creating dynamic, engaging presentations with Prezi