Raciocínio Lógico — Normas constitucionais do meio ambiente

A lógica sentencial, ou proposicional, trata dassentenças, ou proposições, passíveis de receberem um, e apenasum, entre os dois valores lógicos: falsa (F) ou verdadeira (V).É usual simbolizar as proposições por letras maiúsculas doalfabeto e construir novas proposições usando-se símboloslógicos. A proposição simbolizada por ¬A, a negação daproposição A, terá valor lógico V, se A for F, e valor lógico F, seA for V. A proposição simbolizada por AB, lida como A ouB, terá valor lógico F quando A e B forem F, e, nos demaiscasos, será V. A proposição simbolizada por AB, lida como seA, então B, ou B é condição necessária para A, terá valorlógico F quando A for V e B for F, e, nos demais casos será V.A proposição simbolizada por A

Suponha que as proposições Edu tem um laptop ou ele tem um celular e Edu ter um celular é condição necessária para Edu ter um laptop sejam verdadeiras. Nesse caso, considerando essas proposições como premissas e a proposição Edu tem um laptop como conclusão de um argumento, então esse argumento é válido.