Аргументът е твърдението, че едно предложение (сключване) От други изявления (помещения). Аргументът е вярна само ако съюзът на парцелите, за да бъде сключен, т. Д. Между съюзът на предположения и заключение настроен разследване съотношение. Ако Р1. Р2. Pn - изпращане и Q - И накрая, аргументът е правилна, ако изявлението между P1 Ù P2 Ù, Ù съотношение Pn и Q е настроен разследване. В този случай, Р1 отражение Ù P2 Ù, Ù Pn ®Q бъде идентично вярно твърдение (тавтология).
Правилността на аргументите може да се настрои чрез изграждане изявления S = маса P1 истина ÙP2 Ù, ÙPn ®Q и като се уверите, че е идентично вярно.
С голям брой парцели настроен, че е тавтология, че е по-удобно с помощта на отчети трансформация еквивалентни на неговата формула е тавтология.
"Напротив" метод е предположението, че заключението е невярно, и установяването на факта, че това съчетание на P1 Ù P2 Ù, Ù Pn - фалшив (какъвто е случаят в случай, че поне един от парцела на Pi () е настроен на "фалшиво"). Ако това бъде направено, то аргумент е валиден, в противен случай - не. По този начин, в случай на правилните аргументи ние виждаме, че влиянието S = P1 Ù P2 Ù, Ù Pn ®Qº1, т. К. Офлайн логически възможност, съответстващ на Р = Р1 Ù P2 Ù, Ù Рп = 1, Q = 0, където P®Q отражение е настроено на фалшиви.
"Ако функцията е непрекъсната в даден интервал и има различни знаци в краищата си, а след това в рамките на функцията интервал изчезва. Функцията не изчезват в рамките на определен интервал от време, но има различни знаци в краищата на интервала. Следователно, функцията е прекъсната. "
Помещение и заключение в този аргумент се състои от следните основни твърдения:
A - «функция е непрекъсната в даден интервал"
Б - «функция има различни знаци в краищата на интервала"
C - «функция изчезва в рамките на определен интервал".
С помощта на тази бройна система, можем да запишем помещение и заключение под формата на формули:
АÙB®C (1 парцел Р1)
ÙB (втори парцел Р2)
Ако косвено (аÙB®C)Ù( ÙB) ® = P®Q еднакво вярно, тогава полето аргумент. За да проверите коректността на масата за разсъждение изграждане истина:
Виждаме, че аргументът е валиден. Инспектирани достоверността на тези разсъждения от противоречие. Да приемем, че Q е фалшиво заключение. Ние показваме, че в този случай, комбинацията между Р1 помещения ÙР2 е фалшива, т. Е. P → Q тавтология.
В действителност, ако Q = фалшива, а след това е вярно. Нека Р2 = В е вярно, тогава Б - вярно - .. Наистина т.е. C - фалшив, но този случай е настроено на фалшиви помещение, тъй като Р1 = AV®S приема стойността е погрешно, тъй AB = 1 и С = 0, което трябва да се провери.
Правилността на тези разсъждения може да се провери чрез превръщане на формула Р1 ÙР2 еквивалентни на някои S формула, която ясно определя идентично вярно твърдение.
Това се прави, след като е прочел така наречените съвсем нормално форми на Пропозиционални алгебра формули.
Свързани статии