Logica Matematica

02.01.
2019 LOGICA MATEMATICA

Username / Parola inexistente
email ••••••
Login Am uitat parola x Creaza cont nou
Home Exploreaza Upload
LOGICA MATEMATICA
Matematica
) Notiunea: enunt, propozitie si predicat
Definitie: Prin enunt intelegem un ansamblu de simboluri (semne)

carora li s-a atribuit un sens.
Exemple: 1) " " ; 2) " " ; 3) "Numerele 2,3 si 7 sunt

numere prime" ; 4) " " ; 5) " "; 6) "Diagonalele
unui romb sunt perpendiculare".
Observatie: Intr-un enunt trebuie sa distingem doua parti:
- subiectul (subiectele) enuntului
- partea predicativa a enuntului
Exemplele care urmeaza nu sunt enunturi:
1) "Patratul si triunghiul" ; 2) "Numerele 2 si 3".
In matematica exista doua tipuri de enunturi:

ALTE DOCUMENTE
A) Propozitia
Test de evaluare sumativa -Calcul de arii si
volume ale corpurilor rotunde
Definitie: Prin propozitie intelegem un enunt despre care putem Modelul matematic general al problemelor de tip
afirma, fara ambiguitate, ca este un adevar sau un fals. transport
LUCRARE SCRISA LA CLASA A VIII-A Mate
Exemple de propozitii: 1) " " ; 2) " " ; 3) " Semidreapta
PROBLEME REZOLVATE CU MATRICE
" ; 4) " " ; 5) "3 divide pe 6" ; 6)
APLICATII ALE CIRCUITELOR LOGICE
"singurul numar prim par este 2" ; 7) " ". COMBINATIONALE UZUALE
ALGEBRA SI ELEMENTE DE ANALIZA
http://www.scritub.com/stiinta/matematica/LOGICA-MATEMATICA94821.php 1/9
02.01.2019 LOGICA MATEMATICA
MATEMATICA
Propozitiile se noteaza de obicei cu literele: , , , , , .,
Prin interiorul unei multimi se intelege multimea
, , ., , , . etc. punctelor din multimea originala, aflate la distanta
nenula de complementul multimii
Calitatea unei propozitii de a fi adevarata sau falsa o vom numi Tiberiu Popoviciu
valoare de adevar. Valoarea de adevar a unei propozitii p o vom PROBLEME MATEMATICA
nota cu .
căutare personalizată Search
Spunem ca o propozitie este adevarata daca are valoarea de
adevar "adevarul" si vom nota ,

iar o propozitie este falsa daca are
valoarea de adevar "falsul" si vom nota
.
B) Predicat
Definitie: Un enunt care contine una sau mai multe variabile se numeste predicat.
Observatii: 1) Se mai spune ca un predicat este un enunt cu cel putin un subiect al sau nedeterminat.
2) Un predicat se mai numeste si propozitie cu variabila (variabile).
3) Pentru fiecare variabila a predicatului, daca aceasta rezulta din context, se precizeaza multimea sa de
definitie.
In functie de numarul variabilelor, predicatele logice sunt unare, binare, ternare, etc. Un predicat cu
variabile il numim predicat -ar.
Predicatele se noteaza: , , . (predicate unare cu variabila ), , , . (predicate binare cu

doua varibile si ), , . (predicate ternare cu trei variabile , si ), etc.
Exemple de predicate: 1) : " " ; 2) : " " ; 3) : " " ; 4)

: " ".
2) Operatii logice elementare (conectori logici)

Cu propozitiile logice simple (numite si atomi) pentru care valoarea de adevar se stabileste imediat, prin
intermediul unor operatori logici sau conectori logici, se pot formula propozitii logice complexe, numite
formule ale calculului propozitional.
De regula se consider trei conectori logici fundamentali: negatia logica, conjunctia logica si disjunctia logica.
Din acestia mai rezulta inca doi conectori derivati: implicatia logica si echivalenta logica.
a) Negatia propozitiilor
Se considera propozitia notata cu .
Definitie: Prin negatia propozitiei , intelegem o propozitie (notata cu si citim "non ") care este propozitie
adevarata cand este falsa si este propozitie falsa cand este adevarata.
Valoarea de adevar a propozitiei ("non ") este data in urmatorul tabel:
Exemple de propozitii si negatiile lor:
1) : "Numarul 6 este numar prim" ; : "Numarul 6 nu este numar prim"

1 0
2) : "2+5=7" ; : "2+5=7"
0 1
3) : "Apa ingheata la " ; : "Apa nu ingheata la "
4) : "Diagonalele unui paralelogram se injumatatesc" ; : "Diagonalele unui paralelogram nu se injumatatesc"
5) : " " ; : " "
6) : " " ; : " ".
Exercitiu: Pentru orice propozitie p, avem (legea negarii negatiei). Alcatuim tabelul de adevar:
1 0 1
0 1 0
b) Disjunctia propozitiilor
Se considera propozitiile , .
Definitie: Prin disjunctia propozitiilor , , intelegem o propozitie (notata cu si citim " sau ") care este
o propozitie adevarata cel putin una dintre propozitii este adevarata si este falsa cand ambele propozitii sunt
false.
Valoarea de adevar a propozitiei (" sau ") este data in tabelul de adevar alaturat.
1 1 1
1 0 1
0 1 1
0 0 0
Exemple: Se dau doua propozitii simple si formam propozitia compusa aplicand conectorul " "
1) : " " ; : " " ; : " sau "
set Cadou
Vom Anunț
încercaînchis de
să nu de
Anunț închis mai afișăm acest
- 10% REDUCERE
anunț
Nu afișa anunțul
De ce se afișează acest anunț?
Avem , , de unde (conform afirmatiei).
2) : "Diagonalele unui dreptunghi sunt perpendiculare" ; : " " ; : "Diagonalele unui dreptunghi
sunt perpendicular sau "
Avem , , de unde .
Exercitiu: Oricare ar fi propozitia , propozitia este adevarata (se mai zice si tautologie).
Observatie: Prin tautologie (sau lege sau formula valida) intelegem o formula a calculului propozitional (adica
propozitie compusa sau format cu conectori logici care au valoarea de adevar "adevarul", oricare ar fi valoarea
de adevar a propozitiilor componente.
Revenind la exercitiu, vom alcatui tabla de adevar a propozitiei :
1 0 1
0 1 1
Observatie: Legea se mai numeste principiul tertului exclus.
c) Conjunctia propozitiilor
Definitie: Prin conjunctia propozitiilor , , intelegem o propozitie (notata cu si citim " si ") care este
o propozitie adevarata daca ambele propozitii sunt adevarate si este falsa in restul situatiilor.
Valoarea de adevar a propozitiei (" si ") este data in tabelul de adevar alaturat:
1 1 1
1 0 0
0 1 0
0 0 0
1) : " " ; : " ; : " si "
Avem , , de unde .
2) : " " ; : " " ; : " si "
Avem , , de unde .
Exercitiu: Oricare ar fi propozitia p, propozitia este falsa. Intr-adevar, alcatuind tabelul de adevar al
propozitiei se observa ca
1 0 0
0 1 0
Observatie: Propozitia se numeste principiul contradictiei.
d) Implicatia propozitiilor
Plecand de la conectorii fundamentali (negatia, disjunctia si conjunctia) obtinem conectori derivati cum ar fi
implicatia si echivalenta.
Fie propozitiile , . Cu aceste propozitii formam propozitia , pe care o vom nota de aici incolo cu
(" implica ").
Definitie: Prin implicatia propozitiilor , , intelegem o propozitie care este propozitie falsa cand este
adevarata si falsa si este propozitie adevarata in restul situatiilor.
Valoarea de adevar a propozitiei (" implica ") este data de tabelul de adevar alaturat:
1 1 1
1 0 0
0 1 1
0 0 1
Retinem: Propozitia este una si aceeasi cu propozitia .
Exemple: Se consider doua propozitii simple si formam propozitia compusa aplicand conectorul " "
1) : " " ; : "Balena zboara" ; : " implica balena zboara"
Avem , , de unde .
2) : " " ; : " " ; : " implica "
Avem , , de unde .
3) : " " ; : " " ; : " implica "
Avem , , de unde (falsul implica adevar).
4) : " " ; : " " ; : " implica "
Avem , , de unde .
e) Echivalenta propozitiilor
Definitie: Prin echivalenta propozitiilor , , intelegem o propozitie (notata cu si citim " echivalent cu
") care este o propozitie adevarata daca ambele propozitii au aceeasi valoare de adevar si este o propozitie
falsa in restul situatiilor.
Valoarea de adevar a propozitiei (" echivalent cu ") este data de tabla de adevar alaturata:
1 1 1
1 0 0
0 1 0
0 0 1
1) : " " ; : " " ; : " echivalent cu "
Avem , , de unde .
2) : " " ; : " " ; : " echivalent cu "
Avem , , de unde .
3) : " " ; : " " ; : " echivalent cu "
Avem , , de unde .
Exercitiu: Sa se verifice ca :
1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 0 0
0 0 1 1 1 1
Se observa in tabel ca in ultimele doua coloane avem aceeasi valoare de adevar oricare ar fi valorile de adevar
ale propozitiilor , .
3) Cuantificatori (pentru predicate unare)
Prin prin predicat intelegem un enunt cu cel putin un subiect al sau nedeterminat. Subiectele nedeterminate se
numesc variabile.
In continuare se va da un procedeu de a forma propozitii particulare plecand de la predicat! Acest procedeu il

vom aplica pentru predicatele unare si binare.
Sa consideram predicatul unar : " ". Inlocuind pe cu un numar intreg se obtin propozitii
care sunt ori adevarate, ori false.
Fie un predicat. ( este domeniul variabilei)
Definitie: Propozitia "oricare ar fi are loc " se numeste propozitie universala asociata predicatului
.
Notatie: Propozitia universala se noteaza " " (citim: "oricare ar fi are lor ").
Observatie: Cuantificatorul "oricare ar fi" sau "pentru oricare" se numeste cuantificatorul universal si se
noteaza cu simbolul " ".
Valoarea de adevar: 1) Propozitia este adevarata daca pentru oricare , propozitia este o
propozitie adevarata.
2) Propozitia este falsa daca exista cel putin un pentru care propozitia este falsa.
Exemple:
1) Fie predicatul : " ". Propozitia este o propozitie adevarata

deoarece pentru orice , propozitia : " " este adevarata.
2) Fie predicatul : "
Document Info
Accesari: 29030
Apreciat:
Comenteaza documentul:
Nu esti inregistrat
Trebuie sa fii utilizator inregistrat pentru a putea comenta
Creaza cont nou
A fost util?
Daca documentul a fost util si crezi ca merita
sa adaugi un link catre el la tine in site
Copiaza codul
in pagina web a site-ului tau.
<a
href="http://www.scritub.com/stiinta/matematica/LOGIC
A-MATEMATICA94821.php" target="_blank"
OG C C
Politica de confidentialitate
Copyright © Contact (SCRIGROUP Int. 2019 )

Logica Matematica

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Logica Matematica

Încărcat de

Drepturi de autor:

Formate disponibile

02.01.

2019 LOGICA MATEMATICA

Home Exploreaza Upload

) Notiunea: enunt, propozitie si predicat

Definitie: Prin enunt intelegem un ansamblu de simboluri (semne)

Exemple: 1) " " ; 2) " " ; 3) "Numerele 2,3 si 7 sunt

Observatie: Intr-un enunt trebuie sa distingem doua parti:

- subiectul (subiectele) enuntului

- partea predicativa a enuntului

Exemplele care urmeaza nu sunt enunturi:

1) "Patratul si triunghiul" ; 2) "Numerele 2 si 3".

In matematica exista doua tipuri de enunturi:

adevar "adevarul" si vom nota ,

2) Un predicat se mai numeste si propozitie cu variabila (variabile).

Predicatele se noteaza: , , . (predicate unare cu variabila ), , , . (predicate binare cu

Exemple de predicate: 1) : " " ; 2) : " " ; 3) : " " ; 4)

2) Operatii logice elementare (conectori logici)

Se considera propozitia notata cu .

Valoarea de adevar a propozitiei ("non ") este data in urmatorul tabel:

Exemple de propozitii si negatiile lor:

1) : "Numarul 6 este numar prim" ; : "Numarul 6 nu este numar prim"

4) : "Diagonalele unui paralelogram se injumatatesc" ; : "Diagonalele unui paralelogram nu se injumatatesc"

5) : " " ; : " "

6) : " " ; : " ".

1) : " " ; : " " ; : " sau "

De ce se afișează acest anunț?

Avem , , de unde (conform afirmatiei).

Revenind la exercitiu, vom alcatui tabla de adevar a propozitiei :

Observatie: Legea se mai numeste principiul tertului exclus.

1) : " " ; : " ; : " si "

2) : " " ; : " " ; : " si "

Observatie: Propozitia se numeste principiul contradictiei.

Retinem: Propozitia este una si aceeasi cu propozitia .

1) : " " ; : "Balena zboara" ; : " implica balena zboara"

2) : " " ; : " " ; : " implica "

3) : " " ; : " " ; : " implica "

Avem , , de unde (falsul implica adevar).

4) : " " ; : " " ; : " implica "

1) : " " ; : " " ; : " echivalent cu "

2) : " " ; : " " ; : " echivalent cu "

3) : " " ; : " " ; : " echivalent cu "

3) Cuantificatori (pentru predicate unare)

In continuare se va da un procedeu de a forma propozitii particulare plecand de la predicat! Acest procedeu il

Fie un predicat. ( este domeniul variabilei)

1) Fie predicatul : " ". Propozitia este o propozitie adevarata

2) Fie predicatul : "

Creaza cont nou

Copyright © Contact (SCRIGROUP Int. 2019 )

S-ar putea să vă placă și