Conectivos lógicos
Conectivos lógicos
- Transforma proposição simples em composta, ou até mesmo pode negar uma afirmação. (através do de um simbolo conexão).
TABELA DE CONECTIVOS, NOME, SIMBOLOGIA
| E | Conjunção | ^ |
| Ou | Disjunção | ∨ |
| ou…ou | Disjunção exclusiva | ∨ |
| Se…, então | Condicional | →, ⊃ |
| Se … somente se …. | Bicondicional | ↔ |
| Não/Negação | Negação | ~, ¬ |
TABELA DE SINÔNIMOS DOS CONECTIVOS
| E |
, (virgula) | Estudo, passo | P , Q |
| ,mas | Estudo, mas vou ao parque | P ,mas Q | |
| porem, contudo, entretanto. (Adversativas) | Estudo, porem passo | P , Porem Q | |
| Nem | Não estudo, nem trabalho | nem Q, nem Q | |
| Como | Estudo, como, passo | P como Q |
| OU | Não tem sinônimos |
| OU…OU | já que não é possível ocorrer as duas. (no final da frase) |
Estudo ou passo, já que não é possível ocorrer as duas. | P v Q, já … as duas |
| Se…,Então |
Se …, … (virgula) | Se estudo, passo. | Se P, Q |
| Quando | Quando estudo, passo. | quando P, Q | |
| Como | Como estudo, passo | como P, Q | |
| Sempre que …, … | sempre que estudo, passo | sempre que P, Q | |
| … logo … | estudo logo passo | P logo Q | |
| … consequentemente … | estudo consequentemente passo | P consequentemente Q | |
| … pois … / … porque …(invertido) | passo pois estudo passo porque s estudo |
Q pois P Q porque P |
|
| … é uma consequência de … (invertida), (verbo no infinitivo) *deve ter verbo |
passar é uma consequência de estudar | P é uma consequência Q | |
| … é suficiente para … | estudar é suficiente para passar | P é suficiente para Q | |
| … é necessário para … (invertido) |
passar é necessário para estudar | Q é necessário para P |
| Se …, somente se … |
… é suficiente e necessário para … | passar é S&N estudar estudar é S&N passar |
P S&N Q Q S&N P |
| … é equivalente a … | passar é equivalente a estudar | Q é equivalente a P |
| TABELA VERDADE | |||||||
| V | V | ||||||
| V | F | ||||||
| F | V | ||||||
| F | F | ||||||