Практически урок номер 4 "логическо мислене"
Определение: Нека двете формули са дадени. Формулата е логично ВЪРХУ формули. ако даде стойности на променливи. на която зависи цялата необходима формула, когато това е вярно, в същото време, всички формули. и вярно формула.
За логично отражение използва запис: # 9500; # 9472; , Аргументът, ще бъдат записани под формата на схеми за аргумент:
Три начина да проверите коректността на разсъждение:
I. Прилагане на определението:
а) за записване на всички помещения и заключения във вид на формули на Пропозиционални логика;
б) да направи връзката на формалните парцели;
в) проверка на масата за истина, дали следва изводът от формулата.
II. Използване на логическо следствие Симптом:
Формула логически следва от формула ако и само ако формулата е тавтология. За да проверите това е необходимо да се изгради една маса истина за формулата. или превръщане на тази формула използване трансформациите еквивалентни на известен тавтология.
III. Нанесете стенограмите начин за валидиране на логическо мислене.
В мотивите е построен "от противоречие":
В мотивите е наред, ако е налице набор от променливи, така че командироването () = 1, както и сключването () = 0.
Съкратено метод е както следва.
Да предположим, че искате да се валидира логична последица от формулата на парцелите.
Да предположим, че съществува набор. в който всички помещения са верни и заключението е лъжа, и се опитват да намерят този комплект. Ако не се намери такъв набор, тогава нашето предположение е оправдано, а аргументът е логично неправилно. Ако в процеса на търсене на набор от пристигнат в противоречие, а след това ни предположение е неправилно, и аргументът е логично вярна.
Ако диагоналите успоредника са взаимно перпендикулярни (А), успоредник - диамант (В). В този успоредник не са взаимно перпендикулярни диагонали (отрицание А), поради което не е ромб (отрицание B) ».
За да се начертае логичен аргумент:
Първият начин на проверка - по дефиниция. Ние правим връзката на формалните парцели :.
Вижте таблицата на истината: