Propozitii compuse

miercuri, 12 august 2020

11:09
1. Limbajul logicii prop. compuse
2. Funtii de adevar
3. Tipuri de formule cu prop. compuse
4. Metode de probare a validitatii argumentelor cu prop. compuse
 
 
1. Constatam ca gandirea noastra opereaza si cu alt tip de prop. pe langa cele categorice.
Ex: merg la munte sau la mare( p v q) disjunctie
daca ninge atunci merg la sanius (p v p) implicatie acestea se numesc prop. compuse
daca si numai daca studiez atunci voi promova(p ≡q)

Pentru analiza acestora este necesar un limbaj logic nou ce cuprinde:

a. Variabile/propozitionale de felul : p, q, r, s
cu ajutorul carora redam propozitiile simple ce compun prop. compuse.
b. Constantele propozitionale redate prin astfel de simboluri , , → ,≡
cu ajutorul carora redam operatorii propozitionali.
 
Propozitiile compuse sunt functii de adevar - caz particular al ideii de functie in sensul ca valoarea de
adevar a prop. compuse depinde de valoarea de adevar a prop. simple componente.
 
2. Cele mai cunoscute functii de adevar sunt : negatia, conjunctia, disjunctia, implicatia si
echivalenta.
i. Negatia este redata in limbajul natural prin expresiile nu este adevarat ca, este fals ca
etc, iar in limbajul simbolic −, , i este un operator monar si are rolul de a inversa
valorile de adevar.
Negatia unei propozitii este falsa , daca si numai daca prop. data este adevarata si este
adevarata atunci cand prop. data este falsa.
P -p non -p
1 0
0 1
 
ii. Conjunctia este redata prin limbajul natural prin cuvintele si, iar, desi, cu toate ca etc;
iar in limbajul logic , , f , ∘
este operator binar.
O conj. este adevarata daca si numai daca toate componentele ei sunt adevarate; daca ccel
puțin una este falsă conj. este falsă.
 
 
p q p❑q
1 1 1
1 0 0
0 1 0
0 0 0
 
iii. Disjuncția se prezintă sub două forme:
 neexclusivă redată in limbaj natural : sau, fie; iar în limbaj logic prin v
O disjuncție neexclusivă este falsă dacă și numai dacă toate componentele ei sunt false; dacă
cel puțin una este adevărată disjunctia este adevarata.
  
 
p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
 
 
 Exclusiva redata prin limbajul natural: sau-sau, ori-ori, fie-fie; iar in limbaj logic w.
O disjunctie exclusiva este adevarata daca si numai daca componentele ei au valori de adevar
diferite si este falsa cand acestea au aceeasi valoare de adevar.
 
p q pwq
1 1 0
1 0 1
0 1 1
0 0 0
 
iv. Implicatia: daca-atunci ( → ¿
P-antecedent
Q-consecvent
 
p q p --> q
1 1 1
1 0 0
0 1 1
0 0 1
 
O implicatie este falsa daca si numai daca antecedentul este adevarat, iar consecventul este
fals.
 
v. Echivalenta: daca si numai daca (≡ ⟺¿
O echivalenta este adevarata daca si numai daca componentele ei au aceeasi valoare de
adevar.
 
p q p ≡q
1 1 1
1 0 0
0 1 0
0 0 1
 
3. Tipurile logice ale logicii propozitionale
 
Acestea sunt:
a. Legi logice(tautologii)
O formula este lege logica daca si numai daca este adevarata pentru toate combinatiile
valorilor de adevar.
b. Formule contingente
O formula este contingenta daca si numai daca este adevarata pentru unele combinatii ale
valorilor de adevar si falsa pentru altele. (contingenta) 1/0
c. Formule inconsistente
 O formula este inconsistenta daca si numai daca este falsa pentru toate combinatiile valorilor
de adevar 0.
d. Corectitudinea logica a argumentelor cu prop. compuse poate fi probata cu ajutorul
mai multor metode, cea mai utilizata fiind metoda matriceala ( metoda tabelelor de
adevar ).
 
Argumentul va fi considerat valid daca formula care-i corespunde va fi lege logica.
 
 
p q p q p →q p→ q❑ q p

1 1 0 0 1 0 1

1 0 0 1 0 0 0

0 1 1 0 1 0 0

0 0 1 1 1 1 1
 
[(p v q)*(q → p ¿ ¿ ≡ ( p w q )