Metode de stabilire a validitatii inferentelor cu propozitii compuse
Metode de stabilire a validitatii inferentelor cu propozitii compuse 1. Metoda matriceala Aplicarea acestei metode presupune, in primul rand, construirea unui tabel de adevar in a carui baza seCiteste tot ... 1028 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Inferente imediate cu propozitii categorice
Inferente imediate cu propozitii categorice 1. Conversiunea propozitiilor categorice In general, se numeste conversiune inferenta imediata prin care dintr-o propozitie data derivam o altCiteste tot ... 269 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Dsitribuirea termenilor in propozitiile categorice
Dsitribuirea termenilor in propozitiile categorice Spunem despre un termen dintr-o propozitie ca este distribuit daca respectiva propozitie comunica ceva despre intreaga sa sfera. In caz contrar, spunem cCiteste tot ... 171 cuvinte
Dimensiune mica - fara poza |
 |
 |
Negatia
Negatia Data fiind o propozitie oarecare p, putem construi pe baza ei o propozitie care sa fie falsa, daca p este adevarata, si adevarata, daca p este falsa. AceastaCiteste tot ... 289 cuvinte
Dimensiune mica - fara poza |
 |
 |
Formule tautologice, inconsistente si contingente
Formule tautologice, inconsistente si contingente Fie formulele: ~pŮ~q; (~pŮ~q)Úp; qÚp; p®(qÚp); ~[p®(qÚp)]. Calculand functiile de adevar pe care le exprima aceste formule obtinem: p qCiteste tot ... 296 cuvinte
Dimensiune mica - fara poza |
 |
 |
Clasificarea propozitiilor categorice
Clasificarea propozitiilor categorice a) Dupa calitate, propozitiile categorice se clasifica in afirmative si negative. O propozitie categorica este afirmativa daca reda un raport de concordCiteste tot ... 369 cuvinte
Dimensiune mica - fara poza |
 |
 |
Propozitiile conditionale si conectorul “®”
Propozitiile conditionale si conectorul “®” Se numesc conditionale propozitiile de forma Daca p, atunci q (cum ar fi propozitiile: Daca incalci legea, vei fi pedepsit; Vei obtine rezultate buneCiteste tot ... 262 cuvinte
Dimensiune mica - fara poza |
 |
 |
Implicatie logica, echivalenta logica si inconsistenta reciproca
Implicatie logica, echivalenta logica si inconsistenta reciproca Fie formulele A1, A2 ……An construite din variabilele propozitionale p1, p2 ……pk. Vom spune ca formulele A1, A2 ……An iCiteste tot ... 179 cuvinte
Dimensiune mica - fara poza |
 |
 |
Propozitiile biconditionale si conectorul “«”
Propozitiile biconditionale si conectorul “«” Tiparul comun al propozitiilor biconditionale este reprezentat de schema Daca si numai daca p, atunci q, care poate fi formulata echivalent prin p esCiteste tot ... 220 cuvinte
Dimensiune mica - fara poza |
 |
 |
Raporturile dintre propozitiile categorice
Raporturile dintre propozitiile categorice Intre cele patru tipuri de propozitii categorice exista patru tipuri diferite de raporturi logice, care pot fi redate printr-o schema numita patratul logic al propoziCiteste tot ... 332 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Reprezentarea grafica a propozitiilor categorice
Reprezentarea grafica a propozitiilor categorice Exista doua modalitati de reprezentare grafica a propozitiilor categorice: metoda Euler si metoda Venn. a) Metoda Euler se bazeaza pe rCiteste tot ... 298 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Structura propozitiilor categorice
Structura propozitiilor categorice Se numeste propozitie categorica sau de predicatie propozitia in care se enunta o anumita proprietate despre un obiect sau despre membrii unei clase de obiecteCiteste tot ... 321 cuvinte
Dimensiune mica - fara poza |
 |
 |
Inferente mediate cu propozitii categorice silogismul
INFERENTE MEDIATE CU PROPOZITII CATEGORICE SILOGISMUL 1. Caracterizarea generala a silogismului Se numeste silogism rationamentul in care, din doua propozitii categorice (numite premise) care au unCiteste tot ... 1115 cuvinte
Dimensiune mica - fara poza |
 |
 |
Conjunctia
Conjunctia Se numeste conjunctie a doua propozitii p si q propozitia notata cu “pŮq”, care este adevarata atunci cand atat p cat si q sunt adevarate si este falsa dacCiteste tot ... 259 cuvinte
Dimensiune mica - fara poza |
 |
 |
Disjunctia neexclusiva si disjunctia exclusiva
Disjunctia neexclusiva si disjunctia exclusiva Pentru disjunctia neexclusiva se foloseste simbolul “Ú”, iar pentru disjunctia exclusiva simbolul “W”. Ca si conjunctia, ambele suntCiteste tot ... 373 cuvinte
Dimensiune mica - fara poza |
 |
 |
Tabele si table de adevar
Tabele si table de adevar Vom considera o valorizare oarecare v pe S(Q) si vom subantelege ca o propozitie S(Q) este adevarata sau falsa daupa cum este adevarata saCiteste tot ... 635 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Introducere in sintaxa si semantica logicii propozitiilor
Introducere in sintaxa si semantica logicii propozitiilor In logica clasica se considera acele propozitii(enunturi, expresii)care apar si in vorbirea curenta si care pot transmite o valoCiteste tot ... 1177 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Echivalenta propozitiilor
Echivalenta propozitiilor 1. Definitie. Doua propozitii S(Q) se numesc echivalente si scriem daca pentru orice valorizare v pe S(Q) avem . 2. Propozitie. Doua proCiteste tot ... 1270 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Consistenta si consecinte (deductii din ipoteze)
Consistenta si consecinte (deductii din ipoteze) 1. Definitie. O multime de propozitii S S(Q) se numeste consistenta daca exista o valorizare v pe S(Q) astfel incat orCiteste tot ... 1379 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Conectori logici
Conectori logici In afara conectorilor logici uzuali anume puem defini si alte tipuri de conectori logici astfel: 1. Definitie. Fie n un numar intreg pozitiv. O aplicatie se numeste funcCiteste tot ... 1134 cuvinte
Dimensiune mica + cu imagini |
 |
 |
Alte pagini