Professional Documents
Culture Documents
კონსპექტი
კონსპექტი
ლოგიკური კვადრატი
კონტრარული - ერთდროულად ჭეშმარიტი ვერ იქნება.
დაქვემდებარებული - თუ მაქვემდებარებელი
უკუქცევა გადაქცევა
SaP-PiS SaP-SeP’
SiP-PiS SeP-SaP’
SeP-PeS/PoS SoP-SiP’
SoP-X SiP-SoP’
სილოგიზმის ფიგურა-
მოდუსი
სწორი სილოგიზმის
წესები
o საშუალო ტერმინი ერთგან მაინც წანამძღვრებში უნდა განაწილდეს!
o დანასკვში განაწილებული რომელიმე ტერმინი წანამძღვარშიც აუცილებლად უნდა
განაწილდეს (წანამძღვარში განაწილებული ტერმინი, რომელიც დანასკვში არ
ნაწილდება, მოსულა)
o თუ ერთი მაინც უარყოფითი წანამძღვარი ⬄ უარყოფითი დანასკვი
თუ ერთი მაინც კერძოობითი წანამძღვარი ⬄კერძოობითი დანასკვი
o ორი კერძო წანამძღვრიდან დანასკვი არ გამოდის
o ორი უარყოფითი წანამძღვრიდან დანასკვი არ გამოდის
პროპოზიციული ლოგიკა
ლოგიკური მაკავშირებლები:
კონიუნქცია ∧
დისიუნქცია ∨
უარყოფა ¬
იმპლიკაცია ⊃
ეკვივალენცია ≡
მოდალური ლოგიკა
შესაძლებელია R, ერთ სამყაროში მაინც ხედავს R-ს.
აუცილებელია P, ხედავს მხოლოდ P- იან სამყაროებს.
აუცილებელია არაP, ხედავს მხოლოდ უPო სამყაროებს.
ტემპორალური ლოგიკა
რეფლექსური- თავის თავს ხედავს
ტრანზიტული- ყველა სამყარომე რომელიმე სხვას უკავშირდება
სიმეტრიული- ცალსახაა, ნუ, რასაც ნიშნავს