სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის
| [შემოწმებული ვერსია] | [შემოწმებული ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
ხაზი 345:
| style="background: #ff9090" | F
|}
სადაც M იკითხება როგორც „არ არის მცდარი, რომ...“ ან ტარსკი-ლუკასიევიჩის მიერ მოდალური ლოგიკის სამობითი ლოგიკით აქსიოატიზების (წარუმატებელი) მცდელობის მიხედვით, „შესაძლოა, რომ...“; L იკითხება როგორც „ჭეშმარიტია, რომ...“ ან „აუცილებელია, რომ...“; ხოლო I იკითხება როგორც „უცნობია, რომ...“ ან „დამოკიდებულია იმაზე, რომ...“.
ლუკასიევიჩის Ł3-ში განსაზღრული მნიშვნელობა არის „ჭეშმარიტი“, რაც ნიშნავს, რომ მხოლოდ პრეპოზიციას, რომლესაც ყველაგან აქვს ეს მნიშვნელობა, ითვლება ტავტოლოგიად. მაგალითისთვის, <math>A \rightarrow A</math> და <math>A \righlefttarrow A</math> ტავტოლოგიებია როგორც Ł3-ში, ისევე კლასიკურ ლოგიკაში. კლასიკური ლოგიკის ყველა ტავტოლოგია როდი მაღლდება Ł3-მდე იმ სახით „როგორც არის“. მაგალითისთვის,
[[კატეგორია: სამობითი ლოგიკა]]
[[კატეგორია: მათემატიკური ლოგიკა]]
| |||