Propoziții, predicate și cuantificatori

Pentru a putea vizualiza un video va rugam sa va logati ! Daca nu aveti cont va puteti inregistra apasand aici.
13 voturi 526 vizionari
Puncte: 10

Propoziții, predicate și cuantificatoriAscunde teorie X

Propoziția (matematică) este un enunț care poate fi adevărat sau fals.

Valoarea de adevăr a unei propoziții p se notează v(p):

v left parenthesis p right parenthesis equals open curly brackets table attributes columnalign left end attributes row cell 1 comma space d a c ă space p space e s t e space a d e v ă r a t ă end cell row cell 0 comma space d a c ă space p space e s t e space f a l s ă end cell end table close space comma space s a u
v left parenthesis p right parenthesis equals open curly brackets table attributes columnalign left end attributes row cell A comma space d a c ă space p space e s t e space a d e v ă r a t ă end cell row cell F comma space d a c ă space p space e s t e space f a l s ă end cell end table close

Predicatul este un enunț care conține una sau mai multe variabile și care, pentru anumite valori atribuite variabilelor, corespunde unei propoziții adevărate sau false.

Notații:

p(x) - predicat unar

p(x,y) - predicat binar

p(x,y,z) - predicat ternar.

Mulțimea D în care variabilele iau valori se numește domeniu de definiție al predicatului.

Mulțimea de adevăr a unui predicat este:

A subscript p left parenthesis x right parenthesis end subscript equals open curly brackets x element of D space left enclose space p left parenthesis x right parenthesis space a d e v ă r a t ă close curly brackets

Prin utilizarea cuantificatorilor, transformăm predicatele în propoziții.

Cuantificatorul existențialthere exists

Propoziția existențială:

 open parentheses there exists x close parentheses p left parenthesis x right parenthesis space e s t e space a d e v ă r a t ă space d a c ă space e x i s t ă space c e l space p u ț i n space u n space e l e m e n t space x subscript 0 element of D space a s t f e l space î n c â t space p left parenthesis x subscript 0 right parenthesis space s ă space f i e space a d e v ă r a t ă.

Cuantificatorul universal:  for all

Propoziția universală:

open parentheses for all x close parentheses p left parenthesis x right parenthesis space e s t e space a d e v ă r a t ă space d a c ă space p e n t r u space o r i c e space e l e m e n t space x subscript 0 element of D space p r o p o z i ț i a space p left parenthesis x subscript 0 right parenthesis space e s t e space a d e v ă r a t ă. 

Ajutor
Feedback-ul d-voastră este important pentru noi. Dacă observați vreo neregulă vă rugăm să ne-o semnalați apăsând butonul Trimite Feedback de mai jos.

Despre Lecții-Virtuale.ro

Lecții-Virtuale este o platformă educațională care oferă filme și teste cu indicații ce conțin rezolvare completă, pe pași, la materiile esențiale Matematică, Fizică și Chimie. Scopul nostru este să ne concentrăm pe prezentarea noțiunilor și fenomenelor într-o manieră care să stimuleze înțelegerea și nu memorarea mecanică. Lecții-Virtuale își propune să faciliteze accesul la conținut educațional de calitate, oferind în același timp feed-back asupra performanței. Echipa noastră însumează experiențe diverse, de la Matematică și Informatică, la Fizică, Chimie și Medicină. Unii dintre noi lucrează din țară în timp ce alții lucrează din străinătate. Acest website a fost realizat în conformitate cu viziunea noastră despre cum credem că trebuie prezentată informația științifică. Sperăm să vă simțiti bine alături de noi și să invățați lucruri folositoare pentru viitoarea carieră şi în viaţă. Hai România!

Newsletter

Abonează-te la Newsletter pentru a fi la curent cu toate ofertele noastre.

2018 © Lecții-virtuale.ro Toate drepturile rezervate
Termeni    Despre    Contact    Confidenţialitate    Cariere
Cookie-urile ne ajuta sa va oferim servicii mai bune. Prin folosirea site-ului, confirmati ca sunteti de acord cu folosirea lor de catre Lectii Virtuale. Detalii Inchide