Formalizarea unei judecăți complexe și construirea tabelelor de adevăr

Toate subiectele din această secțiune:

Conceptele inegale sunt concepte care nu au semne comune.
Conceptele incomparabile sunt concepte care se referă la ansamblu și la o parte. Conceptele incomparabile sunt reprezentate de două cercuri disjuncte. Cazuri comparabile







Algoritm pentru selectarea conceptelor pentru sistem
A - avocat B - judecător Sunt conceptele comparabile? Da, deoarece există semne comune. Au un univers comun? Da, deoarece există un semn comun.

Reguli pentru determinarea
1) Definiția trebuie să fie proporțională, adică volumul conceptului definit trebuie să fie egal cu volumul conceptului definitoriu. Dacă această regulă este încălcată, apar erori: 1) Definiția este prea largă

Divizarea conceptului este o operație logică care dezvăluie scopul conceptului.
Extindeți domeniul de aplicare al conceptului - este de a preciza din ce tipuri și clase de obiecte domeniul de aplicare al conceptului constă. Structura fisiunii: 1) A, constă din B, C, D. A este divizibil n

Reguli de divizare
1) Diviziunea trebuie să fie proporțională. Adică, suma volumelor membrilor diviziunii trebuie să fie egală cu volumul conceptului divizibil. Erori: 1) Divizare incompletă. Adică suma membrilor diviziei este mai mică decât suma

Judecata simplă este o hotărâre care exprimă legătura dintre două concepte.
Baza judecății noastre este conceptul. De exemplu, Ivanov a cumpărat cârnați. Aceasta este o propunere simplă. Există două concepte. 1) Ivanov. 2) Am cumpărat un cârnați. Dar să nu fiți confundați cu concepte și concepte reale







Tipuri de judecată simplă.
Simptom: Natura predicatului: 1) Atributiv. (Atributio - o proprietate, un semn al unui obiect) - judecăți despre caracteristica unui obiect. De exemplu, "asfalt moale". Adică, a fi moale aparține asfaltului

Termenul nedistribuit - termenul este nealocat dacă este parțial inclus sau este exclus parțial din sfera unui alt termen.
Termenul distribuit este de obicei marcat cu semnul + Termenul nedistribuit este de obicei marcat cu semnul - Vom analiza distribuția termenilor în declarația generală de confirmare

Pătrat logic
Aceasta este o invenție a logicii medievalului. Este o modalitate de sistematizare pentru o percepție mai bună. Regulile pătrunderii logice: 1) Nu pot fi judecăți opuse

O judecată complexă este o judecată constând în mai multe judecăți simple care sunt legate de uniunile logice.
De exemplu, "Este ninge" este o propoziție simplă, iar "Dacă ninge, apoi pe blocajele de trafic" este o propunere dificilă. Constă din câteva simple. Tipuri de judecăți complexe - un fel de complex

Conjunctiv (conjunctive).
# 708; - sunt notate (conjuncție). Aceasta este principala uniune logică într-o astfel de judecată. În limba rusă, conjuncția este exprimată cu ajutorul unor astfel de sindicate ca "și", "a

Condiții (implicite).
Există două tipuri: 1) judecăți simple implicite. Acestea sunt unite printr-o uniune condiționată, care se numește implicare și este desemnată →. Semnificație: indică prezența efectului cauzal

Metoda de reducere la absurditate.
Există 3 moduri de a determina adevărul unei propoziții. Prima metodă este metoda tabulară. A doua metodă este metoda tabelului abreviat (metoda absurdă). A treia metodă este algebra

Cifra PKC este un fel de silogism, diferit de localizarea termenului mediu în incintă.
Fiecare figură are propriile reguli. În cifre, contează unde sunt localizate hotărârile judecătorești. Judecata cu o premisa mai mare este pe partea de sus. Există doar 4 cifre: 1) M







Articole similare

Trimiteți-le prietenilor: