պայմանական հայտարարության ճշմարտության արժեքը կարող է լինել ճշմարիտ կամ կեղծ: Որպեսզի ցույց տանք, որ պայմանականը ճշմարիտ է, պարզապես ցույց տվեք, որ ամեն անգամ, երբ վարկածը ճշմարիտ է, եզրակացությունը նույնպես ճշմարիտ է: … «Եթե p, ապա q» պայմանականը նշանակում ենք p → q.
Ո՞րն է հայտարարության ճշմարտացի արժեքը:
Ճշմարտության արժեքը. Բոլոր պնդումները (ըստ «հայտարարությունների» սահմանման) ունեն ճշմարտության արժեք. մենք հաճախ շահագրգռված ենք ճշմարիտ արժեքը որոշելով, այլ կերպ ասած՝ որոշելու՝ հայտարարությունը ճշմարիտ է, թե կեղծ:
Ի՞նչ է պայմանական պնդումների ճշմարտության աղյուսակը:
Որպես թարմացում, պայմանական պնդումները կազմված են երկու մասից՝ վարկածից (ներկայացվում է p-ով) և եզրակացությունից (ներկայացվում է q-ով):Ճշմարտության աղյուսակում մենք կդասավորենք ճշմարտության արժեքների բոլոր հնարավոր համակցությունները մեր վարկածի և եզրակացության համար և կօգտագործենք դրանք՝ պարզելու պայմանական հայտարարության ընդհանուր ճշմարտությունը:
Ինչպե՞ս եք որոշել՝ պայմանական պնդումը ճշմարիտ է, թե սխալ:
Պայմանական պնդումն ունի ճշմարտության արժեք կամ ճիշտ (T) կամ կեղծ (F): Սխալ է միայն այն դեպքում, երբ վարկածը ճիշտ է, իսկ եզրակացությունը՝ կեղծ։ Պայմանական հայտարարության սխալ լինելը ցույց տալու համար ձեզ անհրաժեշտ է գտնել միայն մեկ հակաօրինակ, որտեղ վարկածը ճիշտ է, իսկ եզրակացությունը՝ սխալ
Արդյո՞ք հայտարարության ճշմարտացիությունը միշտ ճշմարիտ է:
Tautology. պնդումը, որը միշտ ճշմարիտ է, և ճշմարտության աղյուսակը տալիս է միայն ճշմարիտ արդյունքներ: Հակասություն. պնդումը, որը միշտ սխալ է, իսկ ճշմարտության աղյուսակը տալիս է միայն կեղծ արդյունքներ:
