Kategorikus kijelentések

A kategorikus kijelentés
meghatározása, szerkezete
A kategorikus kijelentés két fogalom egyetlen viszonyát
megfogalmazó tényállítás
Szerkezete:
S – P avagy
S est P

logikai alany létige, kopula logikai állítmány

Példa: madár van, este, is repül

 A kategorikus kijelentés
meghatározása, szerkezete
A kategorikus kijelentés két fogalom egyetlen viszonyát
megfogalmazó tényállítás
Szerkezete:
S – P avagy
S est P

logikai alany létige, kopula logikai állítmány

Példa: madár van repül

A kategorikus kijelentés típusai és jelölésük
minőség szerint mennyiség szerint

állító tagadó
n
S a P S e P egyetemes
f g
f
S i P S o P részleges
r
m
o
A kategorikus kijelentés típusai és jelölésük

állító tagadó
egyetemes SaP SeP
részleges SiP SoP
 A kategorikus kijelentés
Euler-módszerrel való ábrázolása
Képlet Tételmondat Ábrázolás
kvantorok kiemelésével

SaP Minden S P
S

SeP Egyetlen S sem P

S P

SiP Néhány S P
S P

SoP Néhány S nem P

S P
A kategorikus kijelentések közötti viszonyok
SaP SeP

ellentétes

o s
s

ell
dá
alárendelt

alárendelt
en
n

tm
o
tm
o
n
nd
l le

ás
e

os
alárendelt ellentétes

SiP SoP