Logic matematic i

computaional
Organizarea cursului. Introducere n logic

Ce este logica? Elemente de logic.

Logica propoziiilor

Introducere. Sintax. Semantic. Contingen. Satisfiabilitate. Falsificabilitate. Proprieti

logice ale enunurilor propoziionale.

Satisfiabilitate

Introducere. Metoda tabelei de adevr. Backtracking. Alte metode pentru rezolvarea

problemelor SAT, DPLL.

Raionamente

Deducia linear. Deducie structurat.

Logica relaional

Introducere. Sintax. Exemple.

Raionament relaional
Rezoluia relaional

Forme clauzale. Unificare. Principiul rezoluiei. Raionament. Extragerea rspunsului.

Strategii.

Inducie

Inducie linear, arbore, structural, multidimensional.

Egalitate

Proprieti, substituie, exemple.

03.10.2013

Logic matematic i
computaional
-

Curs 1: Introducere.
-

Ce este logica?
Introducere n logic

Bibliografie
Curs online - Introduction to Logic, Michael Genesereth, Eric
Kao, Computer Science Department Stanford University,
https://www.coursera.org/
G. Georgescu, A. Iorgulescu, Logic matematic, Ed. ASE,
Bucureti, 2010.
G. Georgescu, Elemente de logic matematic, Academia
Militara, Bucureti, 1978.
K. Rosen, Discrete Mathematics and its Applications, 7th edition,
McGraw-Hill, 2007.

03.10.2013

Logica
Logica este una din cele mai vechi discipline,
datnd nc de pe vremea lui Aristotel; a fost
studiat timp de multe secole i este nc
subiect de investigaie i astzi.
Utilizm logica n aproape orice activitate: n
viaa personal, n activitile profesionale;
pentru a defini concepte, sau pentru a
formaliza teorii.
Logica este utilizat i de computere: pentru
a demonstra teoreme matematice, pentru a
valida schie inginereti, pentru a diagnostica
diverse erori etc.
03.10.2013

Logica computaional
O unealt ce ofer nelesuri precise
pentru afirmaii matematice
Baza raionamentului matematic i al
celui automat
Conine un limbaj formal clar cu notaii
precise
O metodologie de raionament obiectiv
despre adevr i fals
03.10.2013

Aplicaii (din informatic)

Design-ul circuitelor de calculatoare
Limbaje de programare
Verificarea corectitudinii programelor
Inteligena artificial

03.10.2013

Elemente de logic
Considerm urmtoarea situaie (relaii de
simpatie n cadrul unei frii):
Antonia

Maria

Diana

Antonia
Maria
Cristina

Cristina

Diana

S presupunem c nu tim aceste informaii

singuri, ci prin intermediul unor informatori.
03.10.2013

Elemente de logic
Fiecare informator poate reda cu
exactitate, cu ajutorul unor propoziii
logice, ce tie fiecare (nici mai mult,
nici mai puin).
Putem combina aceste propoziii ntr-o
teorie logic, pentru a ajunge la unele
concluzii logice, inclusiv unele care nu
sunt cunoscute de ctre niciun
informator.
03.10.2013

Elemente de logic
Propoziii logice ce descriu situaia de
mai devreme:
Diana o simpatizeaz pe Cristina.
Antonia nu o simpatizeaz pe Diana.
Diana nu o simpatizeaz pe Antonia.
Maria simpatizeaz pe Cristina sau pe Dana.
Antonia simpatizeaz pe oricine simpatizeaz
Maria.
Cristina simpatizeaz pe oricine o
simpatizeaz pe ea.
Nimeni nu se simpatizeaz pe sine nsi.
03.10.2013

Elemente de logic
Propoziii ca acestea limiteaz modurile posibile n care
s-ar putea afla o astfel de lume.
Astfel de propoziii mpart mulimea de lumi posibile n
dou: una n care propoziia este adevrat i una n
care propoziia este fals.
Dei o astfel de mulime de propoziii nu determin o
lume unic, se ntmpl adesea ca unele propoziii s
fie adevrate n orice lume.
O astfel de propoziie se spune c este o concluzie
logic din propoziiile date. Sau, cu alte cuvinte, o
mulime de premise implic logic o concluzie dac i
numai dac fiecare lume care satisface premisele,
satisface i concluzia.
03.10.2013

Elemente de logic
Patru lumi posibile:
Antonia

Maria

Cristina

Diana

Antonia

Antonia

Antonia

Maria

Maria

Cristina

Diana

Antonia

Maria

Cristina

Antonia

Maria

Cristina
Diana

Cristina

Diana

Antonia
Antonia

Maria

Cristina

Diana

03.10.2013

Diana

Maria
Cristina

Diana

Diana

Cristina

Maria

Elemente de logic
Din nefericire, determinarea implicaiei
logice prin verificarea tuturor lumilor
posibile este impracticabil n general.
Alternativa este raionamentul logic,
i anume aplicarea normelor de
raionament pentru a trage concluzii
logice i produce demonstraii logice,
adic secvene de pai de raionament
care duc de la premise la concluzii.
03.10.2013

Elemente de logic
Exemplu:
tim c Antonia simpatizeaz pe cine
simpatizeaz Maria, i c Antonia nu o
simpatizeaz pe Diana. Prin urmare, nici
Maria nu o simpatizeaz pe Diana. (Dac
Maria ar simpatiza-o pe Diana, atunci i
Antonia ar fi simpatiza-o pe Diana). n
acelai timp, tim c Maria simpatizeaz
pe Cristina sau pe Diana. Prin urmare, din
moment ce Maria nu o simpatizeaz pe
Diana, nseamn c o simpatizeaz pe
Cristina.
03.10.2013

Elemente de logic
Reguli de inferen abloane ce
determin structura faptelor cu care se
lucreaz.
Exemplul 1 (mpart aceeai structur de
raionament) silogism categorial
(inferen mediat deductiv):
Toi x sunt y.
Toi y sunt z.
Prin urmare, toi x sunt z.

Exemplul 2:
Toi x sunt y.
Unii y sunt z.
Prin urmare, unii x sunt z.

03.10.2013

Elemente de logic
Ex. 2a) (concluzia se ntmpl s fie corect)
Toate Loganurile sunt maini.
Unele maini sunt fabricate n Romnia.
Prin urmare, unele Loganuri sunt fabricate n Romnia.

Ex. 2b) (concluzia nu este corect)

Toate Loganurile sunt maini.
Unele maini sunt Ferrari.
Prin urmare, unele Loganuri sunt Ferrari.

Deducie
03.10.2013

Elemente de logic
Inducie raionamentul de la particular
la general (dac observm destul de
multe cazuri n care ceva este adevrat
i niciodat nu observm un caz n care
s fie fals, avem tendina s
concluzionm c ntotdeauna este
adevrat).
Exemplu:
Am vzut 1000 de corbi negri.
Nu am vzut niciodat un corb care s nu fie negru.
Prin urmare, orice corb este negru.
03.10.2013

Elemente de logic
Abducie raionamentul unei posibile
cauze, pornind de la efect.
Exemplul boabelor de fasole din sac (Ch.
S. Peirce, art. Deduction, Induction, and
Hypothesis):

03.10.2013

Elemente de logic
Analogia raionamentul n care se
deduce o concluzie pe baza similaritii a
dou situaii.
Exemplu:
Fluxul dintr-o eav este proporional cu diametrul su.
Firele sunt asemntoare unor evi.
Prin urmare, curentul dintr-un fir este proporional cu
diametrul.

Dintre toate tipurile de raionament, cel

deductiv este singurul care garanteaz
concluziile n toate cazurile.
03.10.2013

Logica
Logica propoziional (logica
propoziiilor; operatori primari:
conectorii booleeni and, or i not)
Logica relaional extindere a logicii
propoziionale

03.10.2013