Proposição é uma sentença que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. Letras maiúsculas do alfabeto são freqüentemente usadas para simbolizar uma proposição básica. A expressão A∧B simboliza a proposição composta “A e B” e tem valor lógico V somente quando A e B forem V, nos demais casos, será F. A expressão A∨B simboliza a proposição composta “A ou B” e tem valor lógico F somente quando A e B forem F, nos demais casos, será V. A expressão da forma ¬A é a negação da proposição A, e possui valores lógicos contrários aos de A.
A expressão A→B é uma proposição composta que tem valor lógico F somente quando A for V e B for F, e nos demais casos, será V, e pode ser lida como: “se A então B”.
Uma argumentação lógica correta consiste de uma seqüência finita de proposições, em que algumas, denominadas premissas, são V, por hipótese, e as demais, as conclusões, são V por conseqüência da veracidade das premissas e de conclusões anteriores.
Considere que as proposições abaixo sejam premissas de determinado argumento:
♦ Se Roberto é brasileiro, então Roberto tem plena liberdade de associação.
♦ Roberto não tem plena liberdade de associação ou Magnólia foi obrigada a associar-se.
♦ Se Carlos não interpretou corretamente a legislação, então Magnólia não foi obrigada a associar-se.
Assinale a opção que correspondente à proposição que é verdadeira por conseqüência da veracidade dessas premissas.
