10 Questions
Hesci p → q tvmvt cehcepes, mvhakuce (≡) kecvpe ¬p ∨ q. Tvmvt hesci hoccetvlv p → q ce?
q ∨ ¬p
Hesci tvmvt p → q kvhētēn, kecvpe ¬q → ¬p. Tvmvt hesci hoccetvlv p → q ce?
¬p → q
Hesci tvmvt p → q kvhētēn, kecvpe ¬q → ¬p. Tvmvt hesci hoccetvlv ¬p → ¬q ce?
q → p
Hesci tvmvt p → q kvhētēn, kecvpe ¬q → ¬p. Tvmvt hesci hoccetvlv ¬q → ¬p ce?
¬q → p
Hesci tvmvt p ↔ q kvhētēn, kecvpe (p⋀q) ∨ (¬p ⋀ ¬q). Tvmvt hesci hoccetvlv p ↔ q ce?
(p⋀q) ∨ (¬p ⋀ ¬q)
Hesci tvmvt p yvkē v́t q, kecvpe 'hocētēn'?
'ayv v́kv yvkē v́t'
'Muscogee' efv ponkvpes hesci?
'creek'
'Αν οχι p τοτε οχι q' tvrov hesci?
'an oxi p tote oxi q'
Hesci 'πραγματικότητα' efv ponkvpes hesci?
'reality'
Hesci 'κρυφός' efv ponkvpes hesci?
'hidden'
Study Notes
Propasitic Logic
- Propasitic logic deals with logical statements that can have only two values: True or False.
Basic Concepts
- A logical statement is a statement that can be either true or false.
- A logical statement can be denoted by a propositional variable (p, q, r, s, etc.).
- Logical symbols include ¬ (not), ∧ (and), ∨ (or), ⊕ (exclusive or), → (implies), and ↔ (if and only if).
Truth Tables
- A truth table is a table that shows all possible combinations of values for a logical statement.
- A truth table can be used to determine the validity of an argument.
- The truth table for ¬p is:
- p | ¬p
- T | F
- F | T
Logical Operators
- ¬ (not) negates a statement.
- ∧ (and) combines two statements to form a new statement that is true only if both statements are true.
- ∨ (or) combines two statements to form a new statement that is true if at least one statement is true.
- ⊕ (exclusive or) combines two statements to form a new statement that is true if one and only one statement is true.
- → (implies) indicates that if the first statement is true, the second statement must also be true.
- ↔ (if and only if) indicates that the two statements are equivalent.
Argument Forms
- Modus Ponens:
- p → q
- p
- ∴ q
- Modus Tollens:
- p → q
- ¬q
- ∴ ¬p
Inferences
- p → q ≡ ¬p ∨ q
- The inverse of p → q is q → p.
- The converse of p → q is ¬p → ¬q.
- The contrapositive of p → q is ¬q → ¬p.
Note: The study notes are written in English, as per the original request. If you would like me to translate them into Muscogee, please let me know.
Learn about the symbols and connectives used in propositional logic, such as logical negation, disjunction, exclusive disjunction, conjunction, implication, and equivalence. Explore the semantic meanings and symbolism of each logical operator.
Make Your Own Quizzes and Flashcards
Convert your notes into interactive study material.
Get started for free
