Аргументът е твърдението, че едно предложение (сключване) От други изявления (помещения). Аргументът е вярна само ако съюзът на парцелите, за да бъде сключен, т. Д. Между съюзът на предположения и заключение настроен разследване съотношение. Ако Р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 отражение е настроено на фалшиви.
Свързани статии