Basta a verdade de A para que B seja V. ou seja, B segue de A necessariamente. Não é possível ter A verdadeira e B falsa. ... Por essa razão é que proposições como P são ditas proposições condicionais, ou simplesmente condicionais.
Proposição é uma sentença declarativa afirmativa que pode assumir um valor de Verdadeiro (V) ou Falso (F). ... Uma proposição implica logicamente outra quando, e somente quando, para cada atribuição de valores verdade que torna uma proposição verdadeira, também tornam sua implicação verdadeira.
Equivalente é um adjetivo de dois gêneros oriundo do francês "équivalent" e expressa algo que possui igual valor, ou que tem o mesmo sentido. A palavra equivalente, quando usada para descrever alguma coisa, implica que essa coisa pode substituir a outra tendo igual virtude ou significado.
Para negarmos uma proposição composta ligada pelo conectivo operacional “E” , basta negarmos ambas as proposições individuais(simples) e trocarmos o conectivo “e” pelo conectivo”ou”. Ou seja, transformaremos uma conjunção em uma disjunção. Vejamos; Ex:“Pedro é Mineiro e João é Capixaba”.
Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve. Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.
Os símbolos ∈, ∉, ⊂, ⊄, ⊃ e ⊅ são, respectivamente, pertence, não pertence, contido, não contido, contém e não contém. Símbolo ∈. O símbolo ∈ significa pertence. Utilizamos esse símbolo para dizer que um elemento pertence a um determinado conjunto.